Peter Baumgartner

CoRR, 2024

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies.

[BibT_eX]

[DOI]

Lachlan McGinness

CoRR, 2024

Automated Theorem Provers Help Improve Large Language Model Reasoning.

[BibT_eX]

[DOI]

Lachlan McGinness

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science.

[BibT_eX]

[DOI]

Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024

2023

Bottom-Up Stratified Probabilistic Logic Programming with Fusemate.

[BibT_eX]

[DOI]

Elena Tartaglia

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate.

[BibT_eX]

[DOI]

Elena Tartaglia

CoRR, 2023

2022

Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective.

[BibT_eX]

[DOI]

CoRR, 2022

2021

The Fusemate Logic Programming System (System Description).

[BibT_eX]

[DOI]

CoRR, 2021

Anomaly Detection in a Boxed Beef Supply Chain.

[BibT_eX]

[DOI]

Alexander Krumpholz

Proceedings of the ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation, Melbourne, VIC, Australia, June 25, 2021

Combining Event Calculus and Description Logic Reasoning via Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

The Fusemate Logic Programming System.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Blocking and Other Enhancements for Bottom-Up Model Generation Methods.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Autom. Reason., 2020

Possible Models Computation and Revision - A Practical Approach.

[BibT_eX]

[DOI]

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

2019

Hierarchic Superposition Revisited.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.

[BibT_eX]

[DOI]

Sylvie Thiébaux

Felipe W. Trevizan

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.

[BibT_eX]

[DOI]

Sylvie Thiébaux

Felipe W. Trevizan

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016

In Memory of Mark Stickel.

[BibT_eX]

[DOI]

Wolfgang Bibel

Richard Waldinger

J. Autom. Reason., 2016

2015

Beagle - A Hierarchic Superposition Theorem Prover.

[BibT_eX]

[DOI]

Joshua Bax

Proceedings of the Automated Deduction - CADE-25, 2015

SMTtoTPTP - A Converter for Theorem Proving Formats.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Model Evolution-Based Theorem Proving.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2014

Finite Quantification in Hierarchic Theorem Proving.

[BibT_eX]

[DOI]

Joshua Bax

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

2013

Tableaux for Verification of Data-Centric Processes.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Proving Infinite Satisfiability.

[BibT_eX]

[DOI]

Joshua Bax

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

Hierarchic Superposition with Weak Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013

Automatische Inferenz.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

Model Evolution with equality - Revised and implemented.

[BibT_eX]

[DOI]

Björn Pelzer

J. Symb. Comput., 2012

Reasoning with Data-Centric Business Processes

[BibT_eX]

[DOI]

Andreas Klaus Bauer

Michael Norrish

CoRR, 2012

AI@NICTA.

[BibT_eX]

[DOI]

Nick Barnes

Tibério S. Caetano

Hugh F. Durrant-Whyte

Pascal Van Hentenryck

Toby Walsh

AI Mag., 2012

The TPTP Typed First-Order Form with Arithmetic.

[BibT_eX]

[DOI]

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

2011

A Combined Superposition and Model Evolution Calculus.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Model Evolution with Equality Modulo Built-in Theories.

[BibT_eX]

[DOI]

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

2010

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.

[BibT_eX]

[DOI]

Björn Pelzer

J. Log. Comput., 2010

Instance Based Methods - A Brief Overview.

[BibT_eX]

[DOI]

Evgenij Thorstensen

Künstliche Intell., 2010

Preface.

[BibT_eX]

[DOI]

Alessandro Armando

Gilles Dowek

J. Autom. Reason., 2010

2009

Computing finite models by reduction to function-free clause logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

A Novel Architecture for Situation Awareness Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Constraint Modelling: A Challenge for First Order Automated Reasoning.

[BibT_eX]

[DOI]

John K. Slaney

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Superposition and Model Evolution Combined.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2009

2008

The model evolution calculus as a first-order DPLL method.

[BibT_eX]

[DOI]

Artif. Intell., 2008

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.

[BibT_eX]

[DOI]

Alexander Fuchs

Proceedings of the Logic for Programming, 2008

2007

Hyper Tableaux with Equality.

[BibT_eX]

[DOI]

Björn Pelzer

Proceedings of the Automated Deduction, 2007

Logical Engineering with Instance-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2007

2006

Implementing the Model Evolution Calculus.

[BibT_eX]

[DOI]

Alexander Fuchs

Int. J. Artif. Intell. Tools, 2006

Automated Reasoning Support for First-Order Ontologies.

[BibT_eX]

[DOI]

Fabian M. Suchanek

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Lemma Learning in the Model Evolution Calculus.

[BibT_eX]

[DOI]

Alexander Fuchs

Proceedings of the Logic for Programming, 2006

2005

Automated Reasoning, Knowledge Representation and Management.

[BibT_eX]

[DOI]

Adnan H. Yahya

Künstliche Intell., 2005

05431 Abstracts Collection - Deduction and Applications.

[BibT_eX]

[DOI]

Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

05431 Executive Summary - Deduction and Applications.

[BibT_eX]

[DOI]

Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

The Model Evolution Calculus with Equality.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2005

Living Books, Automated Deduction and Other Strange Things.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

In2Math - Interaktive Mathematik- und Informatikgrundausbildung.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2004

Living Book - Deduction, Slicing, and Interaction.

[BibT_eX]

[DOI]

J. Autom. Reason., 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

Optimizing the Evaluation of XPath Using Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Model Based Deduction for Database Schema Reasoning.

[BibT_eX]

[DOI]

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

Logic Programming Infrastructure for Inferences on FrameNet.

[BibT_eX]

[DOI]

Aljoscha Burchardt

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Preface to First order theorem proving.

[BibT_eX]

[DOI]

Hantao Zhang

J. Symb. Comput., 2003

Automated Deduction Techniques for the Management of Personalized Documents.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2003

Living Books.

[BibT_eX]

[DOI]

Margret Groß-Hardt

Proceedings of the Wirtschaftsinformatik 2003, Medien - Märkte - Mobilität, Band I, 2003

The Model Evolution Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

'Living Book': -'Deduction', 'Slicing', 'Interaction'.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2000

Theorem Proving Techniques for View Deletion in Databases.

[BibT_eX]

[DOI]

Chandrabose Aravindan

J. Symb. Comput., 2000

The Taming of the (X)OR.

[BibT_eX]

[DOI]

Fabio Massacci

Proceedings of the Computational Logic, 2000

Workshop: Model Computation - Principles, Algorithms, Applications.

[BibT_eX]

[DOI]

Christian G. Fermüller

Nicolas Peltier

Hantao Zhang

Proceedings of the Automated Deduction, 2000

FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

A Confluent Connection Calculus.

[BibT_eX]

Norbert Eisinger

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1998

Automated Deduction: a Technological Point of View.

[BibT_eX]

Künstliche Intell., 1998

Model Elimination with Simplification and its Application to Software Verification.

[BibT_eX]

[DOI]

Dorothea Schäfer

Proceedings of the International Workshop Tool Support for System Specification, 1998

Hyper Tableau - The Next Generation.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Theory Reasoning in Connection Calculi

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 1527, Springer, ISBN: 3-540-65509-3, 1998

1997

A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.

[BibT_eX]

[DOI]

Stefan Brüning

J. Autom. Reason., 1997

Computing Answers with Model Elimination.

[BibT_eX]

[DOI]

Frieder Stolzenburg

Artif. Intell., 1997

Tableaux for Diagnosis Applications.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

A Rational and Efficient Algorithm for View Deletion in Databases.

[BibT_eX]

Chandrabose Aravindan

Proceedings of the Logic Programming, 1997

Semantically Guided Theorem Proving for Diagnosis Applications.

[BibT_eX]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Calculi for Disjunctive Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Deduktion und Logisches Programmieren.

[BibT_eX]

Künstliche Intell., 1996

Linear and Unit-Resulting Refutations for Horn Theories.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

Hyper Tableaux.

[BibT_eX]

[DOI]

Ilkka Niemelä

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

[BibT_eX]

[DOI]

Chandrabose Aravindan

Proceedings of the Logic Programming, 1996

Hyper Tableaux and Disjunctive Logic Programming.

[BibT_eX]

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995

Constraint Model Elimination and a PTTP-Implementation.

[BibT_eX]

[DOI]

Frieder Stolzenburg

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Model Elimination, Logic Programming and Computing Answers.

[BibT_eX]

[DOI]

Frieder Stolzenburg

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Model Elimination Without Contrapositives and Its Application to PTTP.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

Refinements of Theory Model Elimination and a Variant without Contrapositives.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

PROTEIN: A PROver with a Theory Extension INterface.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Model Elimination Without Contrapositives.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Consolution as a Framework for Comparing Calculi.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

1992

A Model Elimination Calculus with Built-in Theories (Extended Abstract).

[BibT_eX]

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

An Order Theory Resolution Calculus.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

A Model Elimination Calculus with Built-in Theories.

[BibT_eX]

[DOI]

Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1991

A Completeness Proof Technique for Resolution with Equality.

[BibT_eX]

[DOI]

Proceedings of the GWAI-91, 1991

1990

Software specification methods from the viewpoint of reusability

[BibT_eX]

[DOI]

Siegfried Meggendorfer

Zong-Yan Qiu

Forschungsberichte, TU Munich, 1990

Combining Horn Clause logic with rewrite rules

[BibT_eX]

[DOI]