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

MPI-INF RG1 Publications, generated: 18:34, 23 October 2019

Search the publication database

  . Return

Your search returned the following 11 documents:

  1. Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski
    Automated Verification of Interactive Rule-Based Configuration Systems
    In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, USA, 2013, 551-561
    [PDF: Download: paper.pdf]
  2. Patrick Wischnewski
    Efficient Reasoning Procedures for Complex First-Order Theories
    Doctoral dissertation, Universität des Saarlandes, 2012

  3. Christoph Weidenbach and Patrick Wischnewski
    Satisfiability Checking and Query Answering for large Ontologies
    In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, Manchester, UK, 2012, 163-177
  4. Martin Suda, Christoph Weidenbach, and Patrick Wischnewski
    On the Saturation of YAGO
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2010-RG1-001, Research Report
  5. Martin Suda, Christoph Weidenbach, and Patrick Wischnewski
    On the Saturation of YAGO
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, 2010, 441-456
  6. Christoph Weidenbach and Patrick Wischnewski
    Subterm Contextual Rewriting
    AI Communications 23 (2-3): 97-109, 2010
  7. Christoph Weidenbach and Patrick Wischnewski
    Contextual Rewriting
    Max-Planck-Institut für Informatik, Saarbrücken, MPI-I-2009-RG1-002, Research Report
  8. Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, and Gerard de Melo
    External Sources of Axioms in Automated Theorem Proving
    In: KI 2009: Advances in Artificial Intelligence, Paderborn, Germany, October 27-28, 2009, 281-288
    [PDF: Download: ki2009.pdf]
  9. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Martin Suda, and Patrick Wischnewski
    SPASS Version 3.5
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 140-145
  10. Patrick Wischnewski
    Contextual Rewriting in SPASS
    Master's thesis, Universität des Saarlandes, 2007

  11. Christoph Weidenbach and Patrick Wischnewski
    Contextual Rewriting in SPASS
    In: PAAR/ESHOL, Sydney, Australien, 2008, 115-124