Geoff Sutcliffe

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Stepping Stones in the TPTP World.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

The logic languages of the TPTP world.

[BibT_eX]

[DOI]

Log. J. IGPL, November, 2023

The 11th IJCAR automated theorem proving system competition - CASC-J11.

[BibT_eX]

[DOI]

Martin Desharnais

AI Commun., 2023

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

An Interactive Interpretation Viewer for Typed First-order Logic.

[BibT_eX]

[DOI]

Jack McKeown

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Reinforcement Learning for Guiding the E Theorem Prover.

[BibT_eX]

[DOI]

Jack McKeown

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Solving Modal Logic Problems by Translation to Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

Improving probability selection based weights for satisfiability problems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2022

Larry Wos: Visions of Automated Reasoning.

[BibT_eX]

[DOI]

J. Autom. Reason., 2022

Solving QMLTP Problems by Translation to Higher-order Logic.

[BibT_eX]

[DOI]

CoRR, 2022

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.

[BibT_eX]

[DOI]

CoRR, 2022

Automation of Boolos' Curious Inference in Isabelle/HOL.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022

Automated Reasoning in Non-classical Logics in the TPTP World.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

2021

The CADE-28 Automated Theorem Proving System Competition - CASC-28.

[BibT_eX]

[DOI]

Martin Desharnais

AI Commun., 2021

The 10th IJCAR automated theorem proving system competition - CASC-J10.

[BibT_eX]

[DOI]

AI Commun., 2021

Combining JSON-LD with First Order Logic.

[BibT_eX]

[DOI]

Tanel Tammet

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Management of the TPTP Problem Set.

[BibT_eX]

[DOI]

David A. Plaisted

Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021

The Expansion, Modernisation, and Future of the TPTP World.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021

2020

Improving probability selecting based weights for Satisfiability Problem.

[BibT_eX]

[DOI]

CoRR, 2020

Cutting Down the TPTP Language (And Others).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

Evaluation of Axiom Selection Techniques.

[BibT_eX]

[DOI]

2019

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

[BibT_eX]

[DOI]

AI Commun., 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

JGXYZ: An ATP System for Gap and Glut Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

GRUNGE: A Grand Unified ATP Challenge.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

2018

The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9.

[BibT_eX]

[DOI]

AI Commun., 2018

Making Belnap's "Useful 4-Valued Logic" Useful.

[BibT_eX]

[DOI]

Allen Hazen

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

TFX: The TPTP Extended Typed First-Order Form.

[BibT_eX]

[DOI]

Evgenii Kotelnikov

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

The TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0.

[BibT_eX]

[DOI]

J. Autom. Reason., 2017

The CADE-26 automated theorem proving system competition - CASC-26.

[BibT_eX]

[DOI]

AI Commun., 2017

Automated Reasoning for the Dialetheic Logic RM3.

[BibT_eX]

[DOI]

Allen P. Hazen

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Detecting Inconsistencies in Large First-Order Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 26, 2017

2016

The CADE ATP System Competition - CASC.

[BibT_eX]

[DOI]

AI Mag., 2016

The CADE-25 Automated Theorem Proving system competition - CASC-25.

[BibT_eX]

[DOI]

AI Commun., 2016

The 8th IJCAR automated theorem proving system competition - CASC-J8.

[BibT_eX]

[DOI]

AI Commun., 2016

Hoping for the Truth - A Survey of the TPTP Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism.

[BibT_eX]

[DOI]

Cezary Kaliszyk

Florian Rabe

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

The 7th IJCAR automated theorem proving system competition - CASC-J7.

[BibT_eX]

[DOI]

AI Commun., 2015

The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2015, 2015

Automated Theorem Proving by Translation to Description Logic.

[BibT_eX]

[DOI]

Negin Arhami

Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

Things You Can't do With a Vampire.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014

The CADE-24 automated theorem proving system competition - CASC-24.

[BibT_eX]

[DOI]

AI Commun., 2014

StarExec: A Cross-Community Infrastructure for Logic Solving.

[BibT_eX]

[DOI]

Aaron Stump

Cesare Tinelli

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Automated Theorem Proving using the TPTP Process Instruction Language.

[BibT_eX]

[DOI]

Muhammad Nassar

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

[BibT_eX]

[DOI]

Negin Arhami

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2013

ATP and Presentation Service for Mizar Formalizations.

[BibT_eX]

[DOI]

Piotr Rudnicki

J. Autom. Reason., 2013

The 6th IJCAR automated theorem proving system competition - CASC-J6.

[BibT_eX]

[DOI]

AI Commun., 2013

Modeling in OWL 2 without Restrictions.

[BibT_eX]

[DOI]

Michael Schneider

Sebastian Rudolph

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

2012

The CADE-23 Automated Theorem Proving System Competition - CASC-23.

[BibT_eX]

[DOI]

AI Commun., 2012

The TPTP Typed First-Order Form with Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

SAMHT - Suicidal Avatars for Mental Health Training.

[BibT_eX]

[DOI]

Cameron Carpenter

Leticia Osterberg

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Introducing StarExec: a Cross-Community Infrastructure for Logic Solving.

[BibT_eX]

[DOI]

Aaron Stump

Cesare Tinelli

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011

The 5th IJCAR automated theorem proving system competition - CASC-J5.

[BibT_eX]

[DOI]

AI Commun., 2011

Combining Proofs to form Different Proofs.

[BibT_eX]

[DOI]

Cynthia Chang

Deborah L. McGuinness

Timothy Lebo

Li Ding

Paulo Pinheiro da Silva

Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Sporcle Goes AI.

[BibT_eX]

[DOI]

Cameron Carpenter

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving.

[BibT_eX]

[DOI]

Michael Schneider

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure.

[BibT_eX]

[DOI]

Christoph Benzmüller

J. Formaliz. Reason., 2010

The CADE-22 automated theorem proving system competition - CASC-22.

[BibT_eX]

[DOI]

AI Commun., 2010

Large theory reasoning with SUMO at CASC.

[BibT_eX]

[DOI]

AI Commun., 2010

The TPTP World - Infrastructure for Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Progress Towards Effective Automated Reasoning with World Knowledge.

[BibT_eX]

[DOI]

Martin Suda

Alexandra Teyssandier

Nelson Dellis

Gerard de Melo

Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Different Proofs are Good Proofs.

[BibT_eX]

[DOI]

Cynthia Chang

Li Ding

Deborah L. McGuinness

Paulo Pinheiro da Silva

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

The TPTP Problem Library and Associated Infrastructure.

[BibT_eX]

[DOI]

J. Autom. Reason., 2009

Empirically successful computerized reasoning.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Appl. Log., 2009

Solving the $100 modal logic challenge.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Automated verification of refinement laws.

[BibT_eX]

[DOI]

Peter Höfner

Georg Struth

Ann. Math. Artif. Intell., 2009

The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4.

[BibT_eX]

[DOI]

AI Commun., 2009

External Sources of Axioms in Automated Theorem Proving.

[BibT_eX]

[DOI]

Martin Suda

Patrick Wischnewski

Manuel Lamotte-Schubert

Gerard de Melo

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems.

[BibT_eX]

[DOI]

Aparna Yerikalapudi

Steven Trac

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Progress in the Development of Automated Theorem Proving for Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2009

Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.

[BibT_eX]

[DOI]

Alex Roederer

Proceedings of the Automated Deduction, 2009

2008

ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2008

The CADE-21 automated theorem proving system competition.

[BibT_eX]

[DOI]

AI Commun., 2008

The SZS Ontologies for Automated Reasoning Software.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2008 Workshops, 2008

MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Integration of the TPTPWorld into SigmaKEE.

[BibT_eX]

[DOI]

Steven Trac

Adam Pease

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

CASC-J4 The 4th IJCAR ATP System Competition.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Presenting TSTP Proofs with Inference Web Tools.

[BibT_eX]

[DOI]

Paulo Pinheiro da Silva

Deborah L. McGuinness

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

The Annual SUMO Reasoning Prizes at CASC.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

Evaluation of Systems for Higher-order Logic (ESHOL).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

THF0 - The Core of the TPTP Language for Higher-Order Logic.

[BibT_eX]

[DOI]

Christoph Benzmüller

Florian Rabe

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

The 3rd IJCAR Automated Theorem Proving Competition.

[BibT_eX]

[DOI]

AI Commun., 2007

ATP Cross-Verification of the Mizar MPTP Challenge Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

TPTP, TSTP, CASC, etc.

[BibT_eX]

[DOI]

Proceedings of the Computer Science, 2007

SRASS - A Semantic Relevance Axiom Selection System.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

First Order Reasoning on a Large Ontology.

[BibT_eX]

[DOI]

Adam Pease

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, 2007

2006

Empirically Successful Automated Reasoning: Applications Issue.

[BibT_eX]

[DOI]

Bernd Fischer

J. Autom. Reason., 2006

Empirically Successful Automated Reasoning: Systems Issue.

[BibT_eX]

[DOI]

Bernd Fischer

J. Autom. Reason., 2006

Semantic Derivation Verification: Techniques and Implementation.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2006

Preface.

[BibT_eX]

[DOI]

Tanel Tammet

Int. J. Artif. Intell. Tools, 2006

An Interactive Derivation Viewer.

[BibT_eX]

[DOI]

Steven Trac

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Report on the Nineteenth International FLAIRS Conference.

[BibT_eX]

[DOI]

AI Mag., 2006

The state of CASC.

[BibT_eX]

[DOI]

AI Commun., 2006

The CADE-20 Automated Theorem Proving Competition.

[BibT_eX]

[DOI]

AI Commun., 2006

Automated Generation of Interesting Theorems.

[BibT_eX]

[DOI]

Yi Gao

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Using the TPTP Language for Writing Derivations and Finite Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

CASC-J3 - The 3rd IJCAR ATP System Competition.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.

[BibT_eX]

[DOI]

Allen Van Gelder

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

The IJCAR-2004 Automated Theorem Proving Competition.

[BibT_eX]

[DOI]

AI Commun., 2005

Semantic Derivation Verification.

[BibT_eX]

[DOI]

Diego Belfiore

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.

[BibT_eX]

[DOI]

Erik T. Mueller

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

2004

The CADE-19 ATP System Competition.

[BibT_eX]

[DOI]

AI Commun., 2004

The CADE ATP System Competition.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

The CADE-18 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 2003

Proving Harder Theorems by Axiom Reduction.

[BibT_eX]

[DOI]

Alexander Dvorský

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

The IJCAR ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

Automated Theorem Proving: A Review.

[BibT_eX]

[DOI]

AI Mag., 2002

The development of CASC.

[BibT_eX]

[DOI]

AI Commun., 2002

Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.

[BibT_eX]

[DOI]

Simon Colton

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

Homogeneous Sets of ATP Problems.

[BibT_eX]

[DOI]

Matthias Fuchs

Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

System Description: GrAnDe 1.0.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

2001

The CADE-17 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 2001

Evaluating general purpose automated theorem proving systems.

[BibT_eX]

[DOI]

Artif. Intell., 2001

2000

The CADE-16 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

System Description: SystemOn TPTP.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

System Description: PTTP+GLiDes: Semantically Guided PTTP.

[BibT_eX]

[DOI]

Marianne Brown

Proceedings of the Automated Deduction, 2000

1999

The CADE-15 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Smart Selective Competition Parallelism ATP.

[BibT_eX]

[DOI]

Darryl Seyfang

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

PTTP+GLiDeS: Guiding Linear Deductions with Semantics.

[BibT_eX]

[DOI]

Marianne Brown

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998

The CADE-14 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

The TPTP Problem Library - CNF Release v1.2.1.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

1997

The Results - of the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The Procedures of the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The Design of the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Conclusions about the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

An Erratum for Some Errata to ATP Problems.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

1996

Using Artificial Neural Networks for Meteor-Burst Communications Trail Prediction.

[BibT_eX]

[DOI]

Stuart Melville

David Fraser

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

1994

An Intelligent Document Understanding & Reproduction System.

[BibT_eX]

[DOI]

Michael Sharpe

Nizam Ahmed

Proceedings of IAPR Workshop on Machine Vision Applications, 1994

1993

The TPTP problem library

[BibT_eX]

[DOI]

Theodor Yemenis

Forschungsberichte, TU Munich, 1993

A Comparison of Mechanisms for Avoiding Repetition of Subdeductions in Chain Formal Linear Deduction Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Prolog-D-Linda v2: A New Embedding of Linda in SICStus Prolog.

[BibT_eX]

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

1992

The Semantically Guided Linear Deduction System.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

Linear-Input Subset Analysis.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1991

Compulsory Reduction in Linear Derivation Systems.

[BibT_eX]

[DOI]

Artif. Intell., 1991

1990

Parallel Linear & UR-Deduction.

[BibT_eX]

Proceedings of the Parallelization in Inference Systems, 1990

A General Clause Theorem Prover.

[BibT_eX]

[DOI]