# | | Year | Author(s) [non member] | Editor(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.] | Robinson, Alan
Voronkov, Andrei | | 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 | [McRobbie, M. A.]
[Slaney, J. K.] | | 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 | [Wansing, H.] | | 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 | | | 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 | [Borgida, A.]
[Lenzerini, M.]
[Nardi, D.]
[Nebel, B.] | | Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95 | Proceedings 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 | |
| | 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 | |
| | 1994 | Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil | [Baader, Franz]
[Lenzerini, Maurizio]
[Nutt, Werner]
[Patel-Schneider, Peter F.] | | Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84 | Proceedings Article | |
| | 1993 | Eisinger, Norbert
Ohlbach, Hans Jürgen | Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A. | | Deduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271 | 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 | |
| | 1993 | Ohlbach, Hans Jürgen | Kobsa, Alfred | | 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 | [Voronkov, A.] | | 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 | |
| | 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 | |
| | 1992 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | Broda, K. | | 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 | Gabbay, Dov M.
Ohlbach, Hans Jürgen | Nebel, Bernhard Nebel
Rich, Charles
Swartout, William | | 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 | Nonnengart, Andreas
Ohlbach, Hans Jürgen | [Bläsius, K. H.]
[Bürckert, Hans-Jürgen] | | Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284 | Part of a Book | |
| | 1992 | Ohlbach, Hans Jürgen | | | Logic Engineering: Konstruktion von Logiken
In: KI [3], 34-38 | Journal Article | |
| | 1991 | Cunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen | | | Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841 | 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
Herzig, A. | | | Parameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517 | Proceedings Article | |