Geoffrey Sutcliffe

Professor

  • 1656 Citations
1985 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Geoffrey Sutcliffe is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 1656 Citations
  • 52 Article
  • 46 Conference contribution
  • 6 Conference article
  • 3 Editorial

TOOLympics 2019: An Overview of Competitions in Formal Methods

Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T. & Yamada, A., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Springer Verlag, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
  • 4 Scopus citations

    Making b el nap's "useful four-valued logic" useful

    Sutcliffe, G., Pelletier, F. J. & Hazen, A. P., Jan 1 2018, Proceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018. Rus, V. & Brawner, K. (eds.). AAAI Press, p. 116-121 6 p. (Proceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TFX: The TPTP extended typed first-order form

    Sutcliffe, G. & Kotelnikov, E., Jan 1 2018, In : CEUR Workshop Proceedings. 2162, p. 72-87 16 p.

    Research output: Contribution to journalConference article

  • The 9th IJCAR Automated Theorem Proving System Competition CASC-J9

    Sutcliffe, G., Jan 1 2018, In : AI Communications. 31, 6, p. 495-507 13 p.

    Research output: Contribution to journalArticle

  • 7 Scopus citations

    Automated reasoning for the dialetheic logic RM3

    Pelletier, F. J., Sutcliffe, G. & Hazen, A. P., 2017, FLAIRS 2017 - Proceedings of the 30th International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 110-115 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution