The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Geoff Sutcliffe" ( http://dblp.L3S.de/Authors/Geoff_Sutcliffe )

URL (Homepage):  http://www.cs.miami.edu/~geoff/  Author page on DBLP  Author page in RDF  Community of Geoff Sutcliffe in ASPL-2

Publication years (Num. hits)
1990-1997 (17) 1998-2002 (16) 2003-2006 (21) 2007-2008 (19) 2009-2010 (17) 2011-2013 (18) 2014-2016 (17) 2017-2019 (11)
Publication types (Num. hits)
article(55) inproceedings(65) proceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 137 publication records. Showing 136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban GRUNGE: A Grand Unified ATP Challenge. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ezio Bartocci, Dirk Beyer 0001, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda 0001, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada 0002 TOOLympics 2019: An Overview of Competitions in Formal Methods. Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9. Search on Bibsonomy AI Commun. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen Making Belnap's "Useful 4-Valued Logic" Useful. Search on Bibsonomy FLAIRS Conference The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Geoff Sutcliffe, Margus Veanes (eds.) LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Evgenii Kotelnikov TFX: The TPTP Extended Typed First-Order Form. Search on Bibsonomy PAAR@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Geoff Sutcliffe The CADE-26 automated theorem proving system competition - CASC-26. Search on Bibsonomy AI Commun. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen Automated Reasoning for the Dialetheic Logic RM3. Search on Bibsonomy FLAIRS Conference The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Eiter, David Sands 0001, Geoff Sutcliffe, Andrei Voronkov (eds.) IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephan Schulz 0001, Geoff Sutcliffe, Josef Urban, Adam Pease Detecting Inconsistencies in Large First-Order Knowledge Bases. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The 8th IJCAR automated theorem proving system competition - CASC-J8. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Josef Urban The CADE-25 Automated Theorem Proving system competition - CASC-25. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The CADE ATP System Competition - CASC. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas (eds.) GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Francis Jeffry Pelletier Hoping for the Truth - A Survey of the TPTP Logics. Search on Bibsonomy FLAIRS Conference The full citation details ... 2016 DBLP  BibTeX  RDF
1Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Geoff Sutcliffe The 7th IJCAR automated theorem proving system competition - CASC-J7. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov (eds.) Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015 Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Negin Arhami, Geoff Sutcliffe Automated Theorem Proving by Translation to Description Logic. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov (eds.) 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Stephan Schulz 0001 The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. Search on Bibsonomy IWIL@LPAR The full citation details ... 2015 DBLP  BibTeX  RDF
1Geoff Sutcliffe Things You Can't do With a Vampire. Search on Bibsonomy Vampire Workshop The full citation details ... 2015 DBLP  BibTeX  RDF
1Geoff Sutcliffe The CADE-24 automated theorem proving system competition - CASC-24. Search on Bibsonomy AI Commun. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe, Andrei Voronkov (eds.) LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings Search on Bibsonomy LPAR (short papers) The full citation details ... 2014 DBLP  BibTeX  RDF
1Negin Arhami, Geoff Sutcliffe The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2014 DBLP  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli StarExec: A Cross-Community Infrastructure for Logic Solving. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Muhammad Nassar, Geoff Sutcliffe Automated Theorem Proving using the TPTP Process Instruction Language. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2014 DBLP  BibTeX  RDF
1Geoff Sutcliffe The 6th IJCAR automated theorem proving system competition - CASC-J6. Search on Bibsonomy AI Commun. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Josef Urban, Piotr Rudnicki, Geoff Sutcliffe ATP and Presentation Service for Mizar Formalizations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller (eds.) Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010 Search on Bibsonomy LPAR short papers(Yogyakarta) The full citation details ... 2013 DBLP  BibTeX  RDF
1Michael Schneider 0001, Sebastian Rudolph, Geoff Sutcliffe Modeling in OWL 2 without Restrictions. Search on Bibsonomy OWLED The full citation details ... 2013 DBLP  BibTeX  RDF
1Geoff Sutcliffe The CADE-23 Automated Theorem Proving System Competition - CASC-23. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Schneider 0001, Sebastian Rudolph, Geoff Sutcliffe Modeling in OWL 2 without Restrictions Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Cameron Carpenter, Leticia Osterberg, Geoff Sutcliffe SAMHT - Suicidal Avatars for Mental Health Training. Search on Bibsonomy FLAIRS Conference The full citation details ... 2012 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Stephan Schulz 0001, Eugenia Ternovska (eds.) The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 Search on Bibsonomy IWIL@LPAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Stephan Schulz 0001, Koen Claessen, Peter Baumgartner 0001 The TPTP Typed First-Order Form with Arithmetic. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli (eds.) Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010 Search on Bibsonomy EMSQMS@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (eds.) Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012 Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Geoff Sutcliffe (eds.) The 6th IJCAR ATP System Competition, CASC-J6, June 28, 2012, Manchester, UK Search on Bibsonomy CASC-J6@IJCAR The full citation details ... 2012   RDF
1Geoff Sutcliffe The 5th IJCAR automated theorem proving system competition - CASC-J5. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Josef Urban, Piotr Rudnicki, Geoff Sutcliffe ATP and Presentation Service for Mizar Formalizations Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Schneider 0001, Geoff Sutcliffe Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Cameron Carpenter, Geoff Sutcliffe Sporcle Goes AI. Search on Bibsonomy FLAIRS Conference The full citation details ... 2011 DBLP  BibTeX  RDF
1Michael Schneider 0001, Geoff Sutcliffe Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Christoph Benzmüller Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure. Search on Bibsonomy J. Formalized Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The CADE-22 automated theorem proving system competition - CASC-22. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac Large theory reasoning with SUMO at CASC. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Josef Urban, Geoff Sutcliffe Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Martin Suda 0001, Alexandra Teyssandier, Nelson Dellis, Gerard de Melo Progress Towards Effective Automated Reasoning with World Knowledge. Search on Bibsonomy FLAIRS Conference The full citation details ... 2010 DBLP  BibTeX  RDF
1Geoff Sutcliffe The TPTP World - Infrastructure for Automated Reasoning. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Josef Urban, Geoff Sutcliffe Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Cynthia Chang, Li Ding 0001, Deborah L. McGuinness, Paulo Pinheiro da Silva Different Proofs are Good Proofs. Search on Bibsonomy EMSQMS@IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Geoff Sutcliffe The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4. Search on Bibsonomy AI Commun. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Höfner, Georg Struth, Geoff Sutcliffe Automated verification of refinement laws. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen Solving the $100 modal logic challenge. Search on Bibsonomy J. Applied Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz 0001 Empirically successful computerized reasoning. Search on Bibsonomy J. Applied Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The TPTP Problem Library and Associated Infrastructure. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems. Search on Bibsonomy FLAIRS Conference The full citation details ... 2009 DBLP  BibTeX  RDF
1Martin Suda 0001, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo External Sources of Axioms in Automated Theorem Proving. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alex Roederer, Yury Puzis, Geoff Sutcliffe Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss Progress in the Development of Automated Theorem Proving for Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The CADE-21 automated theorem proving system competition. Search on Bibsonomy AI Commun. The full citation details ... 2008 DBLP  BibTeX  RDF
1Josef Urban, Geoff Sutcliffe ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification, automated reasoning, Formalized mathematics
1Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz 0001 (eds.) Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Geoff Sutcliffe The SZS Ontologies for Automated Reasoning Software. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac The Annual SUMO Reasoning Prizes at CASC. Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe THF0 - The Core of the TPTP Language for Higher-Order Logic. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe Evaluation of Systems for Higher-order Logic (ESHOL). Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Steven Trac, Geoff Sutcliffe, Adam Pease Integration of the TPTPWorld into SigmaKEE. Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding 0001, Nicholas Del Rio, Deborah L. McGuinness Presenting TSTP Proofs with Inference Web Tools. Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Geoff Sutcliffe CASC-J4 The 4th IJCAR ATP System Competition. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The 3rd IJCAR Automated Theorem Proving Competition. Search on Bibsonomy AI Commun. The full citation details ... 2007 DBLP  BibTeX  RDF
1Steven Trac, Yury Puzis, Geoff Sutcliffe An Interactive Derivation Viewer. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe TPTP, TSTP, CASC, etc. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Wilson, Geoff Sutcliffe (eds.) Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA. Search on Bibsonomy FLAIRS Conference The full citation details ... 2007 DBLP  BibTeX  RDF
1Josef Urban, Geoff Sutcliffe ATP Cross-Verification of the Mizar MPTP Challenge Problems. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Yury Puzis SRASS - A Semantic Relevance Axiom Selection System. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Adam Pease, Geoff Sutcliffe First Order Reasoning on a Large Ontology. Search on Bibsonomy ESARLT The full citation details ... 2007 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Josef Urban, Stephan Schulz 0001 (eds.) Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 Search on Bibsonomy ESARLT The full citation details ... 2007 DBLP  BibTeX  RDF
1Geoff Sutcliffe The CADE-20 Automated Theorem Proving Competition. Search on Bibsonomy AI Commun. The full citation details ... 2006 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Christian B. Suttner The state of CASC. Search on Bibsonomy AI Commun. The full citation details ... 2006 DBLP  BibTeX  RDF
1Geoff Sutcliffe Semantic Derivation Verification: Techniques and Implementation. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stephan Schulz 0001, Geoff Sutcliffe, Tanel Tammet Preface. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe Report on the Nineteenth International FLAIRS Conference. Search on Bibsonomy AI Magazine The full citation details ... 2006 DBLP  BibTeX  RDF
1Bernd Fischer 0002, Geoff Sutcliffe, Stephan Schulz 0001 Empirically Successful Automated Reasoning: Systems Issue. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernd Fischer 0002, Geoff Sutcliffe, Stephan Schulz 0001 Empirically Successful Automated Reasoning: Applications Issue. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yury Puzis, Yi Gao, Geoff Sutcliffe Automated Generation of Interesting Theorems. Search on Bibsonomy FLAIRS Conference The full citation details ... 2006 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Randy Goebel (eds.) Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006 Search on Bibsonomy FLAIRS Conference The full citation details ... 2006 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Stephan Schulz 0001, Koen Claessen, Allen Van Gelder Using the TPTP Language for Writing Derivations and Finite Interpretations. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe CASC-J3 - The 3rd IJCAR ATP System Competition. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Allen Van Gelder, Geoff Sutcliffe Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe The IJCAR-2004 Automated Theorem Proving Competition. Search on Bibsonomy AI Commun. The full citation details ... 2005 DBLP  BibTeX  RDF
1Erik T. Mueller, Geoff Sutcliffe Reasoning in the Event Calculus Using First-Order Automated Theorem Proving. Search on Bibsonomy FLAIRS Conference The full citation details ... 2005 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Diego Belfiore Semantic Derivation Verification. Search on Bibsonomy FLAIRS Conference The full citation details ... 2005 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Andrei Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Geoff Sutcliffe, Christian B. Suttner The CADE-19 ATP System Competition. Search on Bibsonomy AI Commun. The full citation details ... 2004 DBLP  BibTeX  RDF
1Geoff Sutcliffe, Christian B. Suttner The CADE ATP System Competition. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 136 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license