BibTeX cite key | Author/Editor | Year | | Title | Type |
Nonnengart-Dissertation | Nonnengart, Andreas | 1995 | | A Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes | Thesis - PhD thesis |
Nonnengart1998 | Nonnengart, Andreas | 1998 | | Modal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899 | Journal Article |
nonnengart93a | Nonnengart, Andreas | 1993 | | First-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85 | Proceedings Article |
Nonnengart98 | Nonnengart, Andreas | 2001 | | Strong Skolemization | Unpublished/Draft |
NonnengartCADE96 | Nonnengart, Andreas | 1996 | | Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612 | Proceedings Article |
NonnengartJELIA94 | Nonnengart, Andreas | 1994 | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article |
NonnengartOhlbach92a | Nonnengart, Andreas
Ohlbach, Hans Jürgen | 1992 | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book |
NonnengartOhlbachGabbay2001 | Nonnengart, Andreas
Ohlbach, Hans Jürgen
Gabbay, Dov M. | 2001 | | Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book |
NonnengartOhlbachSzalas98 | Nonnengart, Andreas
Ohlbach, Hans Jürgen
Szalas, Andrzej | 2001 | | Quantifier Elimination for Second-Order Predicate Logic | Unpublished/Draft |
NonnengartRockWeidenbach98 | Nonnengart, Andreas
Rock, Georg
Weidenbach, Christoph | 1998 | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article |
NonnengartSzalas1999 | Nonnengart, Andreas
Szalas, Andrzej | 1999 | | 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, 18 | Part of a Book |
NonnengartWeidenbach2001handbook | Nonnengart, Andreas
Weidenbach, Christoph | 2001 | | Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Part of a Book |
Ohlbach88 | Ohlbach, Hans Jürgen | 1988 | | A Resolution Calculus for Modal Logics
Universität Kaiserslautern | Thesis - PhD thesis |
Ohlbach91a | Ohlbach, Hans Jürgen | 1991 | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article |
Ohlbach92a | Ohlbach, Hans Jürgen | 1992 | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article |
Ohlbach93a | Ohlbach, Hans Jürgen | 1993 | | Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26 | Proceedings Article |
Ohlbach93c | Ohlbach, Hans Jürgen | 1993 | | Translation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90 | Journal Article |
Ohlbach95a | Ohlbach, Hans Jürgen | 1995 | | Clause Killer Transformations | Unpublished/Draft |
Ohlbach95b | Ohlbach, Hans Jürgen | 1995 | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft |
Ohlbach96-CADE-13 | Ohlbach, Hans Jürgen | 1996 | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article |
OhlbachHabil1993 | Ohlbach, Hans Jürgen | 1993 | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis |
OhlbachHerzig91a | Ohlbach, Hans Jürgen
Herzig, A. | 1991 | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article |
OhlbachKoehler96 | Ohlbach, Hans Jürgen
Koehler, Jana | 1996 | | Reasoning about Sets via Atomic Decomposition | Report |
OhlbachLPAR93 | Ohlbach, Hans Jürgen | 1993 | | Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 | Proceedings Article |
OhlbachSchmidt97 | Ohlbach, Hans Jürgen
Schmidt, Renate A. | 1997 | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Journal Article |
OhlbachSchmidtHustadt95b | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | 1995 | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article |
OhlbachSchmidtHustadt96 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | 1996 | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book |
OhlbachSiekmann91a | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | 1991 | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article |
OhlbachWeidenbach95 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | 1995 | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Journal Article |
P-SAS00 | Podelski, Andreas | 2000 | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article |