| | 2001 | Nonnengart, Andreas
Weidenbach, Christoph | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book | |
| | 2001 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej] | | Quantifier Elimination for Second-Order Predicate Logic | Unpublished/Draft | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1995 | Nonnengart, Andreas | | A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1993 | Hustadt, Ullrich
Nonnengart, Andreas | | Modalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254 | Proceedings Article | |
| | 1992 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book | |
| | 1992 | [Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel] | | Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149 | Part of a Book | |
2 |
| Nonnengart, Andreas (ed.) |
| |
5 |
| Ohlbach, Hans Jürgen (ed.) |
| |