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

Publications Master Template, generated: 6:51, 23 October 2019

Search the publication database

  . Return

Your search returned the following 9 documents:

  1. Renate A. Schmidt and Ullrich Hustadt
    A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, USA, July, 2003, 412-426
  2. Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann
    Superposition modulo a Shostak Theory
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 182-196
    [PS: Download: _03CADE.2.ps]
  3. Harald Ganzinger and Jürgen Stuber
    Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, 666, 2003, 335-349
    [PS: Download: _03CADE.1.ps]
  4. Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, and Hendrik Spies
    The New WALDMEISTER Loop at Work
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 317-321
    [PS: Download: pwm.ps]
  5. Hans de Nivelle
    Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, USA, July 2003, 2003, 365-379
  6. Konstantin Korovin and Andrei Voronkov
    AC-compatible Knuth-Bendix Order
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 47-59

  7. David A. Basin, Seán Matthews, and Luca Viganò
    A Topography of Labelled Modal Logics
    In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 1996, 75-92
  8. Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
    Description Logics for Natural Language Processing
    In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
  9. Ullrich Hustadt
    Do we need the closed-world assumption in knowledge representation?
    In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), Saarbrücken, Germany, September 20-21, 1994, 1994, 24-26