Geoffrey Sutcliffe

Professor

  • 1620 Citations
1985 …2019
If you made any changes in Pure, your changes 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.

Theorem proving Engineering & Materials Science
Adenosinetriphosphate Engineering & Materials Science
Automated Theorem Proving Mathematics
Competition System Mathematics
Semantics Engineering & Materials Science
Automated Reasoning Mathematics
Ontology Engineering & Materials Science
Higher-order Logic Mathematics

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

Research Output 1985 2019

  • 1620 Citations
  • 55 Article
  • 51 Conference contribution
  • 1 Conference article
4 Citations (Scopus)

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
Formal methods
Formal Methods
Software System
Hardware
Prototype

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

Theorem proving
3 Citations (Scopus)

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

Theorem proving
Adenosinetriphosphate

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