- Model Evolution with Equality Modulo Built-in Theories
- Journal of Automated Reasoning manuscript No. (will be inserted by the editor)
- The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
- Computing Finite Models by Reduction to Function-Free Clause Logic
- ME(LIA) -Model Evolution With Linear Integer Arithmetic Constraints
- Hyper Tableaux with Equality Peter Baumgartner1, Ulrich Furbach2, and Bjorn Pelzer2
- Computing Finite Models by Reduction to Function-Free Clause Logic
- Lemma Learning in the Model Evolution Calculus
- Automated Reasoning Support for First-Order Ontologies
- International Journal on Artificial Intelligence Tools Vol. 15, No. 1 (2006) 2152
- Automated Deduction: A Technological Point of View Peter Baumgartner, Ingo Dahn, Jrgen Dix, Ulrich Furbach,
- Semantically Guided Theorem Proving for Diagnosis Applications Peter Baumgartner
- Linear and Unit-Resulting Refutations for Horn Theories* Peter Baumgartner
- Constraint Model Elimination PTTP-Implementation
- A Unified Approach to Theory Reasoning Peter Baumgartner, Ulrich Furbach
- Blocking and Other Enhancements for Bottom-Up Model Generation Methods
- The Model Evolution Calculus with Equality Peter Baumgartner
- FDPLL --A First-Order Davis-Putnam-Logeman-Loveland Procedure
- Living Book An Interactive and Personalized Book
- Peter Baumgartner and Ulrich Furbach Universitat Koblenz, Institut fur Informatik
- Logic Programming Infrastructure for Inferences on FrameNet
- Model Based Deduction for Database Schema Reasoning Peter Baumgartner1, Ulrich Furbach2, Margret Gross-Hardt2, and Thomas Kleemann2
- KRHyper Inside --Model Based Deduction in Applications
- Logical Engineering with Instance-Based Methods
- Improving Answer Set Based Planning by Bidirectional Search
- Superposition and Model Evolution Combined Peter Baumgartner1 and Uwe Waldmann2
- The Model Evolution Calculus as a First-Order DPLL Method
- Model Evolution with Equality Revised and Implemented Peter Baumgartner1
- ESFOR 2004 Preliminary Version Darwin: A Theorem Prover for the
- Abducing Coreference by Model Construction
- The Model Evolution Calculus Peter Baumgartner1 and Cesare Tinelli2
- Instance Based Methods --A Brief Overview Peter Baumgartner and Evgenij Thorstensen
- Computing Answers with Model Elimination Peter Baumgartner
- J. Symbolic Computation (1994) 11, 1000 Consolution as a Framework for Comparing Calculi
- Model Evolution With Built-in Theories Version 3 Peter Baumgartner
- The TPTP Typed First-order Form with Arithmetic
