Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 7:45, 21 October 2019

Search the publication database

  . Return

Your search returned the following 29 documents:

  1. Andreas Nonnengart, Hans Jürgen Ohlbach, and Dov M. Gabbay
    Encoding two-valued non-classical logics in classic logic
    In: Handbook of Automated Reasoning, 2001, 1403-1486
  2. Andreas Nonnengart, Hans Jürgen Ohlbach, and Andrzej Szalas
    Quantifier Elimination for Second-Order Predicate Logic
    . Note: To appear in \emph{Logic, Language and Reasoning. Essays in honour of Dov Gabbay, Part I, Kluwer Academic Press}
  3. Hans Jürgen Ohlbach and Renate A. Schmidt
    Functional Translation and Second-Order Frame Properties of Modal Logics
    Journal of Logic and Computation 7 (5): 581-603, 1997. Note: Also available as Research Report MPI-I-95-2-002
  4. Hans Jürgen Ohlbach and Jana Koehler
    Reasoning about Sets via Atomic Decomposition
    International Computer Science Institute, Berkeley, TR-96-31, Technical Report. Note: Submitted to the \emph{AI Journal}
  5. Hans Jürgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    Translating Graded Modalities into Predicate Logic
    In: Proof Theory of Modal Logic, 1996, 253-291. Note: Also available as Research Report MPI-I-95-2-008
  6. Hans Jürgen Ohlbach
    SCAN-Elimination of Predicate Quantifiers
    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
  7. Franz Baader and Hans Jürgen Ohlbach
    A Multi-Dimensional Terminological Knowledge Representation Language
    Journal of Applied Non-Classical Logics 5 (2): 153-198, 1995
  8. Hans Jürgen Ohlbach and Christoph Weidenbach
    A Note on Assumptions about Skolem Functions
    Journal of Automated Reasoning 15 (2): 267-275, 1995
  9. Hans Jürgen Ohlbach
    Boolean Algebras with Functions - Correspondence, Completeness and Quantifier Elimination
    . Note: Submitted to IJCAI 95
  10. Hans Jürgen Ohlbach
    Clause Killer Transformations
    . Note: Submitted to the Journal of Automated Reasoning
  11. Hans Jürgen Ohlbach, Renate A. Schmidt, and Ullrich Hustadt
    Symbolic Arithmetical Reasoning with Qualified Number Restrictions
    In: Proceedings of International Workshop on Description Logics'95, Rome, Italy, June 2-3, 1995, 1995, 89-95
  12. Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
    Description Logics for Natural Language Processing
    In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
  13. Chris Brink, Dov M. Gabbay, and Hans Jürgen Ohlbach
    Towards Automating Duality
    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
  14. Norbert Eisinger and Hans Jürgen Ohlbach
    Deduction Systems Based on Resolution
    In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 184-271. Note: Also available as Research Report MPI-I-91-217
  15. Hans Jürgen Ohlbach
    Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
    In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 1993, 19-26
  16. Hans Jürgen Ohlbach
    Optimized Translation of Multi Modal Logic into Predicate Logic
    In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), St. Petersburg, Russia, July, 1993, 253-264
  17. Hans Jürgen Ohlbach
    Thema der Antrittsvorlesung: Transformation logischer Systeme
    Habilitation thesis, Universität des Saarlandes, 1993
  18. Hans Jürgen Ohlbach
    Translation Methods for Non-Classical Logics: An Overview
    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
  19. Dov M. Gabbay and Hans Jürgen Ohlbach
    From a Hilbert Calculus to its Model Theoretic Semantics
    In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), London, UK, 1992, 218-252
  20. Hans Jürgen Ohlbach
    Logic Engineering: Konstruktion von Logiken
    KI 3: 34-38, 1992. Note: Special Issue on Logic
  21. Andreas Nonnengart and Hans Jürgen Ohlbach
    Modal- und Temporallogik
    In: Deduktionssysteme - Automatisierung des logischen Denkens, 1992, 239-284
  22. Dov M. Gabbay and Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic
    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
  23. Dov M. Gabbay and Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic
    In: Principles of Knowledge Representation and Reasoning (KR92),, 1992, 425-435. Note: Also available as Research Report MPI-I-92-213
  24. Hans Jürgen Ohlbach
    A Resolution Calculus for Modal Logics
    Doctoral dissertation, Universität Kaiserslautern, 1988
  25. Hans Jürgen Ohlbach and A. Herzig
    Parameter Structures for Parametrized Modal Operators
    In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia, 1991, 512-517
  26. Norbert Eisinger, Hans Jürgen Ohlbach, and Axel Präcklein
    Reduction Rules for Resolution Based Systems
    Artificial Intelligence 50: 141-181, 1991
  27. Hans Jürgen Ohlbach
    Semantics Based Translation Methods for Modal Logics
    Journal of Logic and Computation 1 (5): 691-746, 1991
  28. Hans Jürgen Ohlbach and Jörg H. Siekmann
    The Markgraf Karl Refutation Procedure
    In: Computational Logic, Essays in Honor of Alan Robinson, 1991, 41-112
  29. J. Cunningham, Dov M. Gabbay, and Hans Jürgen Ohlbach
    Towards the MEDLAR Framework
    In: ESPRIT '91 Conference Proceedings, Brussels, Belgium, 1991, 822-841