Your search returned the following 13 documents:

13. Computing Finite Models by Reduction to Function-Free Clause Logic
    Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
    
12. Implementing the Model Evolution Calculus
    Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    International Journal on Artificial Intelligence Tools 15 (1): 21-52, 2006
    
11. Automated Reasoning, Knowledge Representation and Management
    Peter Baumgartner, Ulrich Furbach, and Adnan Yahya
    KI - Künstliche Intelligenz 1: 5-11, 2005
    
10. Living Books, Automated Deduction and other Strange Things
    Peter Baumgartner and Ulrich Furbach
    In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 2005, 255-274
    
9. Model-Generation Theorem Proving for First-Order Logic Ontologies
   Peter Baumgartner and Fabian Suchanek
   
   [PDF: Download: lpar2005.pdf]
   
8. The Model Evolution Calculus with Equality
   Peter Baumgartner and Cesare Tinelli
   In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 392-408
   
7. Optimizing the Evaluation of XPath Using Description Logics
   Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann
   In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, 2005, 1-15
   
6. Darwin: A Theorem Prover for the Model Evolution Calculus
   Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), Cork, Ireland, 2004, 1-24
   
5. Improving Stable Models Based Planning by Bidirectional Search
   Peter Baumgartner and Anupam Mediratta
   In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), Hyderabad, India, 2004, 404-413
   
4. In2Math - Interaktive Mathematik- und Informatikgrundausbildung
   Peter Baumgartner, Barbara Grabowski, Walter Oevel, and Erica Melis
   Softwaretechnik-Trends 24 (1): 36-45, 2004
   
3. Living Book -- Deduction, Slicing, and Interaction
   Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner
   Journal of Automated Reasoning 32 (3): 259-286, 2004
   
2. Logic Programming Infrastructure for Inferences on FrameNet
   Peter Baumgartner and Aljoscha Burchardt
   In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, 2004, 591-603
   
1. Model Based Deduction for Database Schema Reasoning
   Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann
   In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, Ulm, Germany, 2004, 168-182