Geoffrey Sutcliffe

Professor

  • Source: Scopus
1985 …2021

Research activity per year

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

Search results

  • 2021

    Combining JSON-LD with First Order Logic

    Tammet, T. & Sutcliffe, G., Jan 2021, Proceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021. Institute of Electrical and Electronics Engineers Inc., p. 256-261 6 p. 9364411. (Proceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021).

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

  • 2019

    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

    6 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
    10 Scopus citations
  • 2018

    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

    2 Scopus citations
  • 2017

    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

    2 Scopus citations
  • Detecting inconsistencies in large first-order knowledge bases

    Schulz, S., Sutcliffe, G., Urban, J. & Pease, A., 2017, Automated Deduction: CADE 26 - 26th International Conference on Automated Deduction, Proceedings. de Moura, L. (ed.). Springer Verlag, p. 310-325 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10395 LNAI).

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

    5 Scopus citations
  • 2016

    Hoping for the truth - A survey of the TPTP logics

    Sutcliffe, G. & Pelletier, F. J., 2016, Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016. AAAI Press, p. 110-115 6 p.

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

    2 Scopus citations
  • 2015

    The TPTP World – Infrastructure for automated reasoning

    Sutcliffe, G., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9203. p. 327-329 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9203).

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

  • 2014

    Starexec: A cross-community infrastructure for logic solving

    Stump, A., Sutcliffe, G. & Tinelli, C., 2014, Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 367-373 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8562 LNAI).

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

    81 Scopus citations
  • 2012

    SAMHT - Suicidal avatars for mental health training

    Carpenter, C., Osterberg, L. & Sutcliffe, G., Aug 20 2012, Proceedings of the 25th International Florida Artificial Intelligence Research Society Conference, FLAIRS-25. p. 484-487 4 p. (Proceedings of the 25th International Florida Artificial Intelligence Research Society Conference, FLAIRS-25).

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

    4 Scopus citations
  • The TPTP typed first-order form with arithmetic

    Sutcliffe, G., Schulz, S., Claessen, K. & Baumgartner, P., 2012, Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings. p. 406-419 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7180 LNCS).

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

    36 Scopus citations
  • 2011

    Reasoning in the OWL 2 full ontology language using first-order automated theorem proving

    Schneider, M. & Sutcliffe, G., 2011, Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Proceedings. p. 461-475 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6803 LNAI).

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

    11 Scopus citations
  • Sporcle goes AI

    Carpenter, C. & Sutcliffe, G., Sep 9 2011, Proceedings of the 24th International Florida Artificial Intelligence Research Society, FLAIRS - 24. p. 89-90 2 p. (Proceedings of the 24th International Florida Artificial Intelligence Research Society, FLAIRS - 24).

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

  • 2010

    Automated reasoning and presentation support for formalizing mathematics in Mizar

    Urban, J. & Sutcliffe, G., 2010, Intelligent Computer Mathematics - 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Proceedings. p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6167 LNAI).

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

    26 Scopus citations
  • Progress towards effective automated reasoning with world knowledge

    Sutcliffe, G., Teyssandier, A., Dellis, N., Suda, M. & De Melo, G., Oct 19 2010, Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23. p. 110-115 6 p. (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).

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

    7 Scopus citations
  • The TPTP World - Infrastructure for automated reasoning

    Sutcliffe, G., Dec 1 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6355 LNAI).

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

    30 Scopus citations
  • 2009

    Divvy: An ATP meta-system based on axiom relevance ordering

    Roederer, A., Puzis, Y. & Sutcliffe, G., Sep 14 2009, Automated Deduction - CADE-22 - 22nd International Conference on Automated Deduction, Proceedings. p. 157-162 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5663 LNAI).

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

    12 Scopus citations
  • External sources of axioms in automated theorem proving

    Suda, M., Sutcliffe, G., Wischnewski, P., Lamotte-Schubert, M. & De Melo, G., 2009, KI 2009: Advances in Artificial Intelligence - 32nd Annual German Conference on AI, Proceedings. p. 281-288 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5803 LNAI).

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

    7 Scopus citations
  • Multiple answer extraction for question answering with automated theorem proving systems

    Sutcliffe, G., Yerikalapudi, A. & Trac, S., Nov 4 2009, Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22. p. 105-110 6 p. (Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22).

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

    2 Scopus citations
  • Progress in the development of automated theorem proving for higher-order logic

    Sutcliffe, G., Benzmüller, C., Brown, C. E. & Theiss, F., 2009, Automated Deduction - CADE-22 - 22nd International Conference on Automated Deduction, Proceedings. p. 116-130 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5663 LNAI).

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

    12 Scopus citations
  • 2008

    CASC-J4 the 4th IJCAR ATP system competition

    Sutcliffe, G., 2008, Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. p. 457-458 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5195 LNAI).

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

    2 Scopus citations
  • MaLARea SG1 - Machine learner for automated reasoning with semantic guidance

    Urban, J., Sutcliffe, G., Pudlák, P. & Vyskočil, J., 2008, Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. p. 441-456 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5195 LNAI).

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

    66 Scopus citations
  • THF0 - The core of the TPTP language for higher-order logic

    Benzmüller, C., Rabe, F. & Sutcliffe, G., 2008, Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings. p. 491-506 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5195 LNAI).

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

    22 Scopus citations
  • 2007

    ATP cross-verification of the mizar MPTP challenge problems

    Urban, J. & Sutcliffe, G., 2007, Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Proceedings. Springer Verlag, p. 546-560 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4790 LNAI).

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

    6 Scopus citations
  • Semantic relevance axiom selection system

    Sutcliffe, G. & Puzis, Y., 2007, Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. Springer Verlag, p. 295-310 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4603 LNAI).

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

    30 Scopus citations
  • TPTP, TSTP, CASC, etc.

    Sutcliffe, G., 2007, Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Proceedings. Springer Verlag, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4649 LNCS).

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

    12 Scopus citations
  • 2006

    CASC-J3 the 3rd IJCAR ATP system competition

    Sutcliffe, G., Jan 1 2006, Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings. Springer Verlag, p. 572-573 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4130 LNAI).

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

    2 Scopus citations
  • Extending the TPTP language to higher-order logic with automated parser generation

    Van Gelder, A. & Sutcliffe, G., 2006, Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings. Springer Verlag, p. 156-161 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4130 LNAI).

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

    8 Scopus citations
  • Using the TPTP language for writing derivations and finite interpretations

    Sutcliffe, G., Schulz, S., Claessen, K. & Van Gelder, A., 2006, Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings. Springer Verlag, p. 67-81 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4130 LNAI).

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

    30 Scopus citations
  • 2005

    Reasoning in the event calculus using first-order automated theorem proving

    Mueller, E. T. & Sutcliffe, G., Dec 1 2005, Recent Advances in Artifical Intelligence - Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005. Russell, I. & Markov, Z. (eds.). p. 840-841 2 p. (Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence).

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

    3 Scopus citations
  • Semantic derivation verification

    Sutcliffe, G. & Belfiore, D., Dec 1 2005, Recent Advances in Artifical Intelligence - Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005. Russell, I. & Markov, Z. (eds.). p. 641-646 6 p. (Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence).

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

    2 Scopus citations
  • 2002

    System description: Grande 1.0

    Schulz, S. & Sutcliffe, G., 2002, Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 280-284 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2392).

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

    1 Scopus citations
  • 2000

    System description: SystemOnTPTP

    Sutcliffe, G., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 406-410 5 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).

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

    18 Scopus citations
  • System description: PTTP+GLiDeS semantically guided PTTP

    Brown, M. & Sutcliffe, G., 2000, Automated Deduction - CADE-17 - 17th International Conference on Automated Deduction, Proceedings. McAllester, D. (ed.). Springer Verlag, p. 411-416 6 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1831).

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

    2 Scopus citations
  • 1999

    PTTP+GLiDeS: Guiding linear deductions with semantics

    Brown, M. & Sutcliffe, G., 1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 1747. p. 244-254 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1747).

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

    2 Scopus citations
  • 1996

    The design of the CADE-13 ATP system competition

    Suttner, C. B. & Sutcliffe, G., Jan 1 1996, Automated Deduction – Cade-13 - 13th International Conference on Automated Deduction, Proceedings. Slaney, J. K. & McRobbie, M. A. (eds.). Springer Verlag, p. 146-160 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1104).

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

    3 Scopus citations
  • Using artificial neural networks for Meteor-Burst communications trail prediction

    Melville, S., Sutcliffe, G. & Fraser, D., 1996, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Foo, N. & Goebel, R. (eds.). Springer Verlag, p. 423-434 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1114).

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

    1 Scopus citations
  • 1994

    The TPTP problem library

    Sutcliffe, G., Suttner, C. & Yemenis, T., 1994, Automated Deduction — CADE-12 - 12th International Conference on Automated Deduction, Proceedings. Bundy, A. (ed.). Springer Verlag, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 814 LNAI).

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

    90 Scopus citations
  • 1993

    A comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems

    Sutcliffe, G., 1993, Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings. Voronkov, A. (ed.). Springer Verlag, p. 321-332 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 698 LNAI).

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

  • 1992

    Linear-input subset analysis

    Sutcliffe, G., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 268-280 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

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

    7 Scopus citations
  • The semantically guided linear deduction system

    Sutcliffe, G., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer Verlag, p. 677-680 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

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

    2 Scopus citations
  • 1990

    A general clause theorem prover

    Sutcliffe, G., 1990, 10th International Conference on Automated Deduction, Proceedings. Stickel, M. E. (ed.). Springer Verlag, p. 675-676 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 449 LNAI).

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

    3 Scopus citations