Stephan Schulz

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2020

Preface: Special Issue of Selected Extended Papers from IJCAR 2018.

[BibT_eX]

[DOI]

Didier Galmiche

Roberto Sebastiani

J. Autom. Reason., 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

Efficient Implementation of Large-Scale Watchlists.

[BibT_eX]

[DOI]

Constantin Ruhdorfer

Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description).

[BibT_eX]

[DOI]

Adam Pease

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Faster, Higher, Stronger: E 2.3.

[BibT_eX]

[DOI]

Zarathustra Amadeus Goertzel

Simon Cruanes

Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Foreword to the Special Issue on Automated Reasoning.

[BibT_eX]

[DOI]

AI Commun., 2018

ProofWatch: Watchlist Guidance for Large Theories in E.

[BibT_eX]

[DOI]

Jan Jakubuv

Jasmin Christian Blanchette

Josef Urban

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Towards Strong Higher-Order Automation for Fast Interactive Verification.

[BibT_eX]

[DOI]

Pascal Fontaine

Uwe Waldmann

Proceedings of the ARCADE 2017, 2017

Detecting Inconsistencies in Large First-Order Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 26, 2017

We know (nearly) nothing!l But can we learn?

[BibT_eX]

[DOI]

Proceedings of the ARCADE 2017, 2017

2016

Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving.

[BibT_eX]

[DOI]

Martin Möhrmann

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Deduction as a Service.

[BibT_eX]

[DOI]

Mohamed Hassona

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 Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2015, 2015

Breeding Theorem Proving Heuristics with Genetic Algorithms.

[BibT_eX]

[DOI]

Simon Schäfer

Proceedings of the Global Conference on Artificial Intelligence, 2015

System Description: E.T. 0.1.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Knowledge Engineering for Large Ontologies with Sigma KEE 3.0.

[BibT_eX]

[DOI]

Adam Pease

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

2013

System Description: E 1.8.

[BibT_eX]

[DOI]

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

E-MaLeS 1.1.

[BibT_eX]

[DOI]

Daniel Kühlwein

Josef Urban

Proceedings of the Automated Deduction - CADE-24, 2013

Simple and Efficient Clause Subsumption with Feature Vector Indexing.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

The TPTP Typed First-Order Form with Arithmetic.

[BibT_eX]

[DOI]

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

Fingerprint Indexing for Paramodulation and Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Special issue on practical aspects of automated reasoning.

[BibT_eX]

[DOI]

Boris Konev

Renate A. Schmidt

AI Commun., 2010

2009

New results on rewrite-based satisfiability procedures.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Empirically successful computerized reasoning.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Appl. Log., 2009

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

Preface.

[BibT_eX]

[DOI]

Tanel Tammet

Int. J. Artif. Intell. Tools, 2006

Using the TPTP Language for Writing Derivations and Finite Interpretations.

[BibT_eX]

[DOI]

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

2005

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.

[BibT_eX]

[DOI]

J. Autom. Reason., 2005

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic.

[BibT_eX]

[DOI]

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

On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

The MathSAT 3 System.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2005

2004

System Description: E 0.81.

[BibT_eX]

[DOI]

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

2002

E - a brainiac theorem prover.

[BibT_eX]

[DOI]

AI Commun., 2002

A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae.

[BibT_eX]

[DOI]

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

Learning Search Control Knowledge for Equational Theorem Proving.

[BibT_eX]

[DOI]

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

Information-Based Selection of Abstraction Levels.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization.

[BibT_eX]

[DOI]

Joachim Draeger

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

System Abstract: E 0.61.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts.

[BibT_eX]

[DOI]

Inf. Comput., 2000

Learning search control knowledge for equational deduction.

[BibT_eX]

[DOI]

PhD thesis, 2000

1999

Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving.

[BibT_eX]

[DOI]

Felix Brandt

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

System Abstract: E 0.3.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1999

1997

DISCOUNT - A Distributed and Learning Equational Prover.

[BibT_eX]

[DOI]

Martin Kronenburg

J. Autom. Reason., 1997

1996

Recording and Analysing Knowledge-Based Distributed Deduction Processes.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

Learning Domain Knowledge to Improve Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994

Recording, Analyzing and Presenting Distributed Deduction Processes.

[BibT_eX]