Hans Jürgen Ohlbach Papers on DiSC'04 Geotemporal Reasoning for Semantic Web Applications Publications Note: Links lead to the DBLP on the Web. Hans Jürgen Ohlbach Hans Jürgen Ohlbach: Geotemporal Reasoning for Semantic Web Applications. KRDB 2003 François Bry , Bernhard Lorenz , Hans Jürgen Ohlbach, Stephanie Spranger : On Reasoning on Time and Location on the Web. PPSWR 2003 : 69-83 Hans Jürgen Ohlbach, Andreas Nonnengart , Maarten de Rijke , Dov M. Gabbay : Encoding Two-Valued Nonclassical Logics in Classical Logic. Handbook of Automated Reasoning 2001 : 1403-1486 Hans Jürgen Ohlbach: Set Description Languages and Reasoning about Numerical Features of Sets. Description Logics 1999 Hans Jürgen Ohlbach, Jana Koehler : Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109 (1-2): 1-31 (1999) Hans Jürgen Ohlbach: Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. CADE 1998 : 205-219 Hans Jürgen Ohlbach: Elimination of Self-Resolving Clauses. J. Autom. Reasoning 20 (3): 317-336 (1998) Hans Jürgen Ohlbach, Dov M. Gabbay : Calendar Logic. Journal of Applied Non-Classical Logics 8 (4): (1998) Hans Jürgen Ohlbach: Extensions of First-Order Logic, Maria Manzano. Journal of Logic, Language and Information 7 (3): 389-391 (1998) Dov M. Gabbay , Rudolf Kruse , Andreas Nonnengart , Hans Jürgen Ohlbach: Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings Springer 1997 Hans Jürgen Ohlbach: Efficient Data Structures for Deduction Systems. DOOD 1997 : 1-2 Hans Jürgen Ohlbach, Jana Koelher : Role Hierarchies and Number Restrictions. Description Logics 1997 Hans Jürgen Ohlbach, Renate A. Schmidt : Functional Translation and Second-Order Frame Properties of Modal Logics. J. Log. Comput. 7 (5): 581-603 (1997) Dov M. Gabbay , Hans Jürgen Ohlbach: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings Springer 1996 Hans Jürgen Ohlbach: SCAN - Elimination of Predicate Quantifiers. CADE 1996 : 161-165 Hans Jürgen Ohlbach, Christoph Weidenbach : A Note on Assumptions about Skolem Functions. J. Autom. Reasoning 15 (2): 267-275 (1995) Franz Baader , Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5 (2): (1995) Dov M. Gabbay , Hans Jürgen Ohlbach: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings Springer 1994 Hans Jürgen Ohlbach: GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings Springer 1993 Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. IJCAI 1993 : 690-695 Hans Jürgen Ohlbach: Optimized Translation of Multi Modal Logic into Predicate Logic. LPAR 1993 : 253-264 Hans Jürgen Ohlbach, Renate A. Schmidt : Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3 (4): 341-343 (1993) Dov M. Gabbay , Hans Jürgen Ohlbach: From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK 1992 : 218-252 Dov M. Gabbay , Hans Jürgen Ohlbach: Quantifier Elimination in Second-Order Predicate Logic. KR 1992 : 425-435 Hans Jürgen Ohlbach: Logic Engineering - Konstruktion von Logiken. KI 6 (3): 34-38 (1992) Hans Jürgen Ohlbach, Jörg H. Siekmann : The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991 : 41-112 Hans Jürgen Ohlbach, Andreas Herzig : Parameter Structures for Parametrized Modal Operators. IJCAI 1991 : 512-517 Norbert Eisinger , Hans Jürgen Ohlbach, Axel Präcklein : Reduction Rules for Resolution-Based Systems. Artif. Intell. 50 (2): 141-181 (1991) Hans Jürgen Ohlbach: Semantics-Based Translation Methods for Modal Logics. J. Log. Comput. 1 (5): 691-746 (1991) Hans Jürgen Ohlbach: Compilation of Recursive Two-Literal Clauses into Unification Algorithms. AIMSA 1990 : 13-22 Hans Jürgen Ohlbach, Andreas Herzig : Tutorial on Compilation techniques for Logics. CADE 1990 : 683 Hans Jürgen Ohlbach: Abstraction Tree Indexing for Terms. ECAI 1990 : 479-484 Christoph Weidenbach , Hans Jürgen Ohlbach: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI 1990 : 688-693 Hans Jürgen Ohlbach: New Ways for Developing Proof Theories for First-Order Multi Modal Logics. CSL 1989 : 271-308 Hans Jürgen Ohlbach: Context Logic - An Introduction. GWAI 1989 : 27-36 Hans Jürgen Ohlbach: A Resolution Calculus for Modal Logics. CADE 1988 : 500-516 Hans Jürgen Ohlbach, Manfred Schmidt-Schauß : Bericht zur 9th Conference on Automated Deduction. KI 2 (4): 18-19 (1988) Hans Jürgen Ohlbach: Link Inheritance in Abstract Clause Graphs. J. Autom. Reasoning 3 (1): 1-34 (1987) Norbert Eisinger , Hans Jürgen Ohlbach: The Markgraf Karl Refutation Procedure (MKRP). CADE 1986 : 681-682 Hans Jürgen Ohlbach: The Semantic Clause Graph Procedure - A First Overview. GWAI 1986 : 218-229 Hans Jürgen Ohlbach: Theory Unification in Abstract Clause Graphs. GWAI 1985 : 77-100 Hans Jürgen Ohlbach, Manfred Schmidt-Schauß : The Lion and the Unicorn. J. Autom. Reasoning 1 (3): 327-332 (1985) Hans Jürgen Ohlbach: Predicate Logic Hacker Tricks. J. Autom. Reasoning 1 (4): 435-440 (1985) Hans Jürgen Ohlbach, Graham Wrightson : Solving a Problem in Relevance Logic with an Automated Theorem Prover. CADE 1984 : 496-508 Hans Jürgen Ohlbach: Ein regelbasiertes Klauselgraph-Beweisverfahren. GWAI 1983 : 216-224 Grigoris Antoniou , Hans Jürgen Ohlbach: TERMINATOR. IJCAI 1983 : 916-919 1 [ 1 ] 2 [ 30 ] 3 [ 45 ] 4 [ 8 ] [ 19 ] 5 [ 23 ] [ 24 ] [ 29 ] [ 33 ] [ 37 ] [ 39 ] [ 44 ] 6 [ 16 ] [ 20 ] 7 [ 42 ] 8 [ 35 ] 9 [ 37 ] 10 [ 45 ] 11 [ 37 ] [ 44 ] 12 [ 19 ] 13 [ 44 ] 14 [ 25 ] [ 34 ] 15 [ 5 ] [ 10 ] 16 [ 21 ] 17 [ 45 ] 18 [ 14 ] [ 31 ] 19 [ 3 ] ©2004 Association for Computing Machinery