| # |  | Year | Author(s) [non member] | | Title | Type | |
|---|
| 1 |
 | O'Leary, John (ed.) |
| |
| 1 |
| |
| 29 |
 | Ohlbach, Hans Jürgen |
| |
| | 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 | |
| | 1997 | Ohlbach, Hans Jürgen
Schmidt, Renate A. | | Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603 | Journal Article | |
| | 1996 | Ohlbach, Hans Jürgen
[Koehler, Jana] | | Reasoning about Sets via Atomic Decomposition | Report | |
| | 1996 | Ohlbach, Hans Jürgen | | SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Proceedings Article | |
| | 1996 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291 | Part of a Book | |
| | 1995 | Baader, Franz
Ohlbach, Hans Jürgen | | A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198 | Journal Article | |
| | 1995 | Ohlbach, Hans Jürgen
Weidenbach, Christoph | | A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275 | Journal Article | |
| | 1995 | Ohlbach, Hans Jürgen | | Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination | Unpublished/Draft | |
| | 1995 | Ohlbach, Hans Jürgen | | Clause Killer Transformations | Unpublished/Draft | |
| | 1995 | Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings Article | |
| | 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 | |
| | 1994 | [Brink, Chris]
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90 | Journal Article | |
| | 1993 | Eisinger, Norbert
Ohlbach, Hans Jürgen | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | Proceedings Article | |
| | 1993 | Ohlbach, Hans Jürgen | | 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 | |
| | 1993 | Ohlbach, Hans Jürgen | | 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 | |
| | 1993 | Ohlbach, Hans Jürgen | | Thema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 1993 | Ohlbach, Hans Jürgen | | 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 | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252 | Proceedings Article | |
| | 1992 | Ohlbach, Hans Jürgen | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article | |
| | 1992 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435 | Proceedings Article | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | | Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43 | Journal Article | |
| | 1991 | Ohlbach, Hans Jürgen
Herzig, A. | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article | |
| | 1991 | Eisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel | | Reduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181 | Journal Article | |
| | 1991 | Ohlbach, Hans Jürgen | | Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Journal Article | |
| | 1991 | Ohlbach, Hans Jürgen
Siekmann, Jörg H. | | The Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112 | Proceedings Article | |
