TERMINATOR. - Grigoris Antoniou; Hans Jürgen Ohlbach (IJCAI, 1983)

Ein regelbasiertes Klauselgraph-Beweisverfahren. - Hans Jürgen Ohlbach (GWAI, 1983)

Solving a Problem in Relevance Logic with an Automated Theorem Prover. - Hans Jürgen Ohlbach; Graham Wrightson (CADE, 1984)

Theory Unification in Abstract Clause Graphs. - Hans Jürgen Ohlbach (GWAI, 1985)

Predicate Logic Hacker Tricks. - Hans Jürgen Ohlbach (J. Autom. Reason., 1985)

The Lion and the Unicorn. - Hans Jürgen Ohlbach; Manfred Schmidt-Schauß (J. Autom. Reason., 1985)

The Markgraf Karl Refutation Procedure (MKRP). - Norbert Eisinger; Hans Jürgen Ohlbach (CADE, 1986)

The Semantic Clause Graph Procedure - A First Overview. - Hans Jürgen Ohlbach (GWAI, 1986)

Link Inheritance in Abstract Clause Graphs. - Hans Jürgen Ohlbach (J. Autom. Reason., 1987)

A Resolution Calculus for Modal Logics. - Hans Jürgen Ohlbach (1988)

A Resolution Calculus for Modal Logics. - Hans Jürgen Ohlbach (CADE, 1988)

Bericht zur 9th Conference on Automated Deduction. - Hans Jürgen Ohlbach; Manfred Schmidt-Schauß (Künstliche Intell., 1988)

New Ways for Developing Proof Theories for First-Order Multi Modal Logics. - Hans Jürgen Ohlbach (CSL, 1989)

Context Logic - An Introduction. - Hans Jürgen Ohlbach (GWAI, 1989)

Compilation of Recursive Two-Literal Clauses into Unification Algorithms. - Hans Jürgen Ohlbach (AIMSA, 1990)

Tutorial on Compilation techniques for Logics. - Hans Jürgen Ohlbach; Andreas Herzig (CADE, 1990)

Abstraction Tree Indexing for Terms. - Hans Jürgen Ohlbach (ECAI, 1990)

A Resolution Calculus with Dynamic Sort Structures and Partial Functions. - Christoph Weidenbach; Hans Jürgen Ohlbach (ECAI, 1990)

The Markgraf Karl Refutation Procedure. - Hans Jürgen Ohlbach; Jörg H. Siekmann (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Parameter Structures for Parametrized Modal Operators. - Hans Jürgen Ohlbach; Andreas Herzig (IJCAI, 1991)

Reduction Rules for Resolution-Based Systems. - Norbert Eisinger; Hans Jürgen Ohlbach; Axel Präcklein (Artif. Intell., 1991)

Semantics-Based Translation Methods for Modal Logics. - Hans Jürgen Ohlbach (J. Log. Comput., 1991)

From A Hilbert Calculus to its Model Theoretic Semantics. - Dov M. Gabbay; Hans Jürgen Ohlbach (ALPUK, 1992)

Quantifier Elimination in Second-Order Predicate Logic. - Dov M. Gabbay; Hans Jürgen Ohlbach (KR, 1992)

Logic Engineering - Konstruktion von Logiken. - Hans Jürgen Ohlbach (Künstliche Intell., 1992)

A Multi-Dimensional Terminological Knowledge Representation Language. - Hans Jürgen Ohlbach (IJCAI, 1993)

Optimized Translation of Multi Modal Logic into Predicate Logic. - Hans Jürgen Ohlbach (LPAR, 1993)

Translation Methods for Non-Classical Logics: An Overview. - Hans Jürgen Ohlbach (Log. J. IGPL, 1993)

Editorial: The Possibility of Generating True Conjectures. - Hans Jürgen Ohlbach; Renate A. Schmidt (J. Log. Comput., 1993)

The Bulletin turned into a Journal. - Dov M. Gabbay; Hans Jürgen Ohlbach; Ruy J. G. B. de Queiroz (Log. J. IGPL, 1995)

Editorial. - Dov M. Gabbay; Hans Jürgen Ohlbach; Ruy J. G. B. de Queiroz (Log. J. IGPL, 1995)

A Multi-Dimensional Terminological Knowledge Representation Language. - Franz Baader; Hans Jürgen Ohlbach (J. Appl. Non Class. Logics, 1995)

A Note on Assumptions about Skolem Functions. - Hans Jürgen Ohlbach; Christoph Weidenbach (J. Autom. Reason., 1995)

SCAN - Elimination of Predicate Quantifiers. - Hans Jürgen Ohlbach (CADE, 1996)

Computer Support for the Development and Investigation of Logics. - Hans Jürgen Ohlbach (Log. J. IGPL, 1996)

Role Hierarchies and Number Restrictions. - Hans Jürgen Ohlbach; Jana Koehler (Description Logics, 1997)

Efficient Data Structures for Deduction Systems. - Hans Jürgen Ohlbach (DOOD, 1997)

Functional Translation and Second-Order Frame Properties of Modal Logics. - Hans Jürgen Ohlbach; Renate A. Schmidt (J. Log. Comput., 1997)

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. - Hans Jürgen Ohlbach (CADE, 1998)

Calendar Logic. - Hans Jürgen Ohlbach; Dov M. Gabbay (J. Appl. Non Class. Logics, 1998)

Elimination of Self-Resolving Clauses. - Hans Jürgen Ohlbach (J. Autom. Reason., 1998)

Extensions of First-Order Logic, Maria Manzano. - Hans Jürgen Ohlbach (J. Log. Lang. Inf., 1998)

Set Description Languages and Reasoning about Numerical Features of Sets. - Hans Jürgen Ohlbach (Description Logics, 1999)

Modal Logics, Description Logics and Arithmetic Reasoning. - Hans Jürgen Ohlbach; Jana Koehler (Artif. Intell., 1999)

Encoding Two-Valued Nonclassical Logics in Classical Logic. - Hans Jürgen Ohlbach; Andreas Nonnengart; Maarten de Rijke; Dov M. Gabbay (Handbook of Automated Reasoning, 2001)

Geotemporal Reasoning for Semantic Web Applications. - Hans Jürgen Ohlbach (KRDB, 2003)

On Reasoning on Time and Location on the Web. - François Bry; Bernhard Lorenz; Hans Jürgen Ohlbach; Stephanie Spranger (PPSWR, 2003)

Reasoning on the Web: Language Prototypes and Perspectives. - Sacha Berger; François Bry; Bernhard Lorenz; Hans Jürgen Ohlbach; Paula-Lavinia Patranjan; Sebastian Schaffert; Uta Schwertel; Stephanie Spranger (EWIMT, 2004)

Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals. - Hans Jürgen Ohlbach (PPSWR, 2004)

Relations Between Fuzzy Time Intervals. - Hans Jürgen Ohlbach (TIME, 2004)

The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. - Hans Jürgen Ohlbach (TIME, 2004)

Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. - Hans Jürgen Ohlbach (We Will Show Them! (2), 2005)

05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. - François Bry; François Fages; Massimo Marchiori; Hans Jürgen Ohlbach (Principles and Practices of Semantic Web Reasoning, 2005)

A Geospatial World Model for the Semantic Web. - François Bry; Bernhard Lorenz; Hans Jürgen Ohlbach; Mike Rosner (PPSWR, 2005)

Computational Treatment of Temporal Notions: The CTTN-System. - Hans Jürgen Ohlbach (PPSWR, 2005)

Automated Reasoning in the Context of the Semantic Web. - Hans Jürgen Ohlbach (TABLEAUX, 2005)

Ontology Driven Visualisation of Maps with SVG - Technical Aspects. - Frank Ipfelkofer; Bernhard Lorenz; Hans Jürgen Ohlbach (ASWC, 2006)

Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. - Frank Ipfelkofer; Bernhard Lorenz; Hans Jürgen Ohlbach (IV, 2006)

GeTS - A Specification Language for Geo-Temporal Notions. - Hans Jürgen Ohlbach (KI, 2006)

Fuzzy Time Intervals System Description of the FuTI-Library. - Hans Jürgen Ohlbach (PPSWR, 2006)

A Hybrid Spatial Model for Representing Indoor Environments. - Bernhard Lorenz; Hans Jürgen Ohlbach; Edgar-Philipp Stoffel (W2GIS, 2006)

Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. - Edgar-Philipp Stoffel; Bernhard Lorenz; Hans Jürgen Ohlbach (ER Workshops, 2007)

A Local Data Stream Management System. - Christian Hänsel; Bernhard Lorenz; Hans Jürgen Ohlbach (SETP, 2007)

L-DSMS - A Local Data Stream Management System. - Christian Hänsel; Hans Jürgen Ohlbach; Edgar-Philipp Stoffel (ECSA, 2008)

Applying hierarchical graphs to pedestrian indoor navigation. - Edgar-Philipp Stoffel; Korbinian Schoder; Hans Jürgen Ohlbach (GIS, 2008)

The Facility Control Markup Language FCML. - François Bry; Bernhard Lorenz; Hans Jürgen Ohlbach; Martin Roeder; Marc Weinberger (ICDS, 2008)

Java2OWL: A System for Synchronising Java and OWL. - Hans Jürgen Ohlbach (KEOD, 2012)