Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 23:12, 18 October 2019

Search the publication database

  . Return

Your search returned the following 13 documents:

  1. Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Computing Finite Models by Reduction to Function-Free Clause Logic
    In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
  2. Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Implementing the Model Evolution Calculus
    International Journal on Artificial Intelligence Tools 15 (1): 21-52, 2006
  3. Peter Baumgartner, Ulrich Furbach, and Adnan Yahya
    Automated Reasoning, Knowledge Representation and Management
    KI - Künstliche Intelligenz 1: 5-11, 2005
  4. Peter Baumgartner and Ulrich Furbach
    Living Books, Automated Deduction and other Strange Things
    In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 2005, 255-274
  5. Peter Baumgartner and Fabian Suchanek
    Model-Generation Theorem Proving for First-Order Logic Ontologies

    [PDF: Download: lpar2005.pdf]
  6. Peter Baumgartner and Cesare Tinelli
    The Model Evolution Calculus with Equality
    In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 392-408
  7. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann
    Optimizing the Evaluation of XPath Using Description Logics
    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
  8. Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
    Darwin: A Theorem Prover for the Model Evolution Calculus
    In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), Cork, Ireland, 2004, 1-24
  9. Peter Baumgartner and Anupam Mediratta
    Improving Stable Models Based Planning by Bidirectional Search
    In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), Hyderabad, India, 2004, 404-413
  10. Peter Baumgartner, Barbara Grabowski, Walter Oevel, and Erica Melis
    In2Math - Interaktive Mathematik- und Informatikgrundausbildung
    Softwaretechnik-Trends 24 (1): 36-45, 2004
  11. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner
    Living Book -- Deduction, Slicing, and Interaction
    Journal of Automated Reasoning 32 (3): 259-286, 2004
  12. Peter Baumgartner and Aljoscha Burchardt
    Logic Programming Infrastructure for Inferences on FrameNet
    In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, 2004, 591-603
  13. Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann
    Model Based Deduction for Database Schema Reasoning
    In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, Ulm, Germany, 2004, 168-182