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

MPI-INF RG1 Publications, generated: 12:58, 22 October 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Martin Suda and Christoph Weidenbach
    A PLTL-prover based on labelled superposition with partial model guidance
    In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, 2012, 537-543

  2. Martin Suda and Christoph Weidenbach
    Labelled Superposition for PLTL
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 391-405

  3. 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
  4. 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
  5. 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]
  6. 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