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

Publications Master Template, generated: 19:44, 21 October 2019

Search the publication database

  . Return

Your search returned the following 15 documents:

  1. Andreas Nonnengart and Christoph Weidenbach
    Computing small clause normal forms
    In: Handbook of Automated Reasoning, 2001, 335-367
  2. Andreas Nonnengart, Hans Jürgen Ohlbach, and Dov M. Gabbay
    Encoding two-valued non-classical logics in classic logic
    In: Handbook of Automated Reasoning, 2001, 1403-1486
  3. Andreas Nonnengart, Hans Jürgen Ohlbach, and Andrzej Szalas
    Quantifier Elimination for Second-Order Predicate Logic
    . Note: To appear in \emph{Logic, Language and Reasoning. Essays in honour of Dov Gabbay, Part I, Kluwer Academic Press}
  4. Andreas Nonnengart
    Strong Skolemization
    . Note: Journal version of the corresponding technical report. Submitted for publication
  5. Andreas Nonnengart and Andrzej Szalas
    A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
    In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 1999, 18 p.
  6. Andreas Nonnengart
    Modal Frame Characterization by Way of Auxiliary Modalities
    Logic Journal of the IGPL 6 (6): 875-899, 1998
  7. Andreas Nonnengart, Georg Rock, and Christoph Weidenbach
    On Generating Small Clause Normal Forms
    In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5-10 1998, 1998, 397-411
  8. Andreas Nonnengart
    Resolution-Based Calculi for Modal and Temporal Logics
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, July, 30 - August, 3, 1996, 598-612
  9. Andreas Nonnengart
    A Resolution-Based Calculus for Temporal Logics
    Doctoral dissertation, Universität des Saarlandes, 1995
  10. 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
  11. Andreas Nonnengart
    How to Use Modalities and Sorts in Prolog
    In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, York, UK, September 5-8, 1994, 1994, 365-378
  12. Andreas Nonnengart
    First-Order Modal Logic Theorem Proving and Functional Simulation
    In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), Chambery, France, August,28 - September,03, 1993, 80-85
  13. Ullrich Hustadt and Andreas Nonnengart
    Modalities in Knowledge Representation
    In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), Melbourne, Australia, Summer, 1993, 249-254
  14. Andreas Nonnengart and Hans Jürgen Ohlbach
    Modal- und Temporallogik
    In: Deduktionssysteme - Automatisierung des logischen Denkens, 1992, 239-284
  15. Norbert Eisinger, Andreas Nonnengart, and Axel Präcklein
    Termersetzungssysteme
    In: Deduktionssysteme -- Automatisierung des logischen Denkens, 1992, 126-149. Note: This is the modified and extended version of the corresponding chapter of the first edition of this book.