Geoffrey Sutcliffe

Professor

  • Source: Scopus
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.
  • 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 journalArticlepeer-review

    3 Scopus citations
  • Grunge: A grand unified ATP challenge

    Brown, C. E., Gauthier, T., Kaliszyk, C., Sutcliffe, G. & Urban, J., 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

    5 Scopus citations
  • JGXYZ: An ATP system for gap and glut logics

    Sutcliffe, G. & Pelletier, F. J., 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., 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
    8 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
If you made any changes in Pure these will be visible here soon.