Your search returned the following 29 documents:

29. 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
    
28. 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}
    
27. Functional Translation and Second-Order Frame Properties of Modal Logics
    Hans Jürgen Ohlbach and Renate A. Schmidt
    Journal of Logic and Computation 7 (5): 581-603, 1997. Note: Also available as Research Report MPI-I-95-2-002
    
26. Reasoning about Sets via Atomic Decomposition
    Hans Jürgen Ohlbach and Jana Koehler
    International Computer Science Institute, Berkeley, TR-96-31, Technical Report. Note: Submitted to the \emph{AI Journal}
    
25. Translating Graded Modalities into Predicate Logic
    Hans Jürgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    In: Proof Theory of Modal Logic, 1996, 253-291. Note: Also available as Research Report MPI-I-95-2-008
    
24. SCAN-Elimination of Predicate Quantifiers
    Hans Jürgen Ohlbach
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, New Jersey, USA, July 30 - August 3, 1996, 1996, 161-165
    
23. A Multi-Dimensional Terminological Knowledge Representation Language
    Franz Baader and Hans Jürgen Ohlbach
    Journal of Applied Non-Classical Logics 5 (2): 153-198, 1995
    
22. A Note on Assumptions about Skolem Functions
    Hans Jürgen Ohlbach and Christoph Weidenbach
    Journal of Automated Reasoning 15 (2): 267-275, 1995
    
21. Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination
    Hans Jürgen Ohlbach
    . Note: Submitted to IJCAI 95
    
20. Clause Killer Transformations
    Hans Jürgen Ohlbach
    . Note: Submitted to the Journal of Automated Reasoning
    
19. Symbolic Arithmetical Reasoning with Qualified Number Restrictions
    Hans Jürgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    In: Proceedings of International Workshop on Description Logics'95, Rome, Italy, June 2-3, 1995, 1995, 89-95
    
18. 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
    
17. Towards Automating Duality
    Chris Brink, Dov M. Gabbay, and Hans Jürgen Ohlbach
    Journal of Computers and Mathematics with Applications 29 (2): 73-90, 1994. Note: Special Issue on Automated Reasoning. Also available as Research Report MPI-I-93-220, Saarbrücken
    
16. Deduction Systems Based on Resolution
    Norbert Eisinger and Hans Jürgen Ohlbach
    In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 184-271. Note: Also available as Research Report MPI-I-91-217
    
15. Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
    Hans Jürgen Ohlbach
    In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 1993, 19-26
    
14. Optimized Translation of Multi Modal Logic into Predicate Logic
    Hans Jürgen Ohlbach
    In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), St. Petersburg, Russia, July, 1993, 253-264
    
13. Thema der Antrittsvorlesung: Transformation logischer Systeme
    Hans Jürgen Ohlbach
    Habilitation thesis, Universität des Saarlandes, 1993
    
12. Translation Methods for Non-Classical Logics: An Overview
    Hans Jürgen Ohlbach
    Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) 1 (1): 69-90, 1993. Note: A short version appeared in Proc.~LPAR '93, vol. 698 of Lecture Notes in Computer Science, pp.~253-264, Springer-Verlag, Berlin. Also available as Technical Report MPI-I-93-225
    
11. From a Hilbert Calculus to its Model Theoretic Semantics
    Dov M. Gabbay and Hans Jürgen Ohlbach
    In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), London, UK, 1992, 218-252
    
10. Logic Engineering: Konstruktion von Logiken
    Hans Jürgen Ohlbach
    KI 3: 34-38, 1992. Note: Special Issue on Logic
    
9. Modal- und Temporallogik
   Andreas Nonnengart and Hans Jürgen Ohlbach
   In: Deduktionssysteme - Automatisierung des logischen Denkens, 1992, 239-284
   
8. Quantifier Elimination in Second-Order Predicate Logic
   Dov M. Gabbay and Hans Jürgen Ohlbach
   In: Principles of Knowledge Representation and Reasoning (KR92),, 1992, 425-435. Note: Also available as Research Report MPI-I-92-213
   
7. Quantifier Elimination in Second-Order Predicate Logic
   Dov M. Gabbay and Hans Jürgen Ohlbach
   South African Computer Journal 7: 35-43, 1992. Note: Also appeared in Proc.~3rd Intern.~Conference on Principles of Knowledge Representation and Reasoning, editors: B. Nebel, C. Rich and W. Swartout, pp.~425-435, Morgan Kaufmann, 1992. Also available as Research Report MPI-I-92-213
   
6. A Resolution Calculus for Modal Logics
   Hans Jürgen Ohlbach
   Doctoral dissertation, Universität Kaiserslautern, 1988
   
5. Parameter Structures for Parametrized Modal Operators
   Hans Jürgen Ohlbach and A. Herzig
   In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia, 1991, 512-517
   
4. Reduction Rules for Resolution Based Systems
   Norbert Eisinger, Hans Jürgen Ohlbach, and Axel Präcklein
   Artificial Intelligence 50: 141-181, 1991
   
3. Semantics Based Translation Methods for Modal Logics
   Hans Jürgen Ohlbach
   Journal of Logic and Computation 1 (5): 691-746, 1991
   
2. The Markgraf Karl Refutation Procedure
   Hans Jürgen Ohlbach and Jörg H. Siekmann
   In: Computational Logic, Essays in Honor of Alan Robinson, 1991, 41-112
   
1. Towards the MEDLAR Framework
   J. Cunningham, Dov M. Gabbay, and Hans Jürgen Ohlbach
   In: ESPRIT '91 Conference Proceedings, Brussels, Belgium, 1991, 822-841