Your search returned the following 15 documents:

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