Geoffrey Sutcliffe

Professor

  • 1714 Citations
1985 …2020

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

The CADE-27 Automated theorem proving System Competition - CASC-27

Sutcliffe, G., 2020, In : AI Communications. 32, 5-6, p. 373-389 17 p.

Research output: Contribution to journalArticle

  • Grunge: A grand unified ATP challenge

    Brown, C. E., Gauthier, T., Kaliszyk, C., Sutcliffe, G. & Urban, J., Jan 1 2019, Automated Deduction – CADE 2019- 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 123-141 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

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

  • 1 Scopus citations

    JGXYZ: An ATP system for gap and glut logics

    Sutcliffe, G. & Pelletier, F. J., Jan 1 2019, Automated Deduction – CADE 2019- 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 526-537 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

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

  • 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. Huisman, M., Steffen, B., Beyer, D. & Kordon, F. (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
  • 7 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. Brawner, K. & Rus, V. (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

    1 Scopus citations