Hans Jürgen Ohlbach

78 papers A* 4A 8B 4C 6Misc 2Journal 19Unranked 24
YearRankTypeTitle / Venue / Authors
2012 C conf
Java2OWL: A System for Synchronising Java and OWL.
KEOD
Hans Jürgen Ohlbach
2008 — ed.
38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme - dank Informatik, INFORMATIK 2008, Munich, Germany, September 8-13, 2008, Band 1
GI Jahrestagung (1)
Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler
2008 — ed.
38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme - dank Informatik, INFORMATIK 2008, Munich, Germany, September 8-13, 2008, Band 2
GI Jahrestagung (2)
Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler
2008 — conf
Applying hierarchical graphs to pedestrian indoor navigation.
GIS
Edgar-Philipp Stoffel, Korbinian Schoder, Hans Jürgen Ohlbach
2008 B conf
L-DSMS - A Local Data Stream Management System.
ECSA
Christian Hänsel, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel
2008 C conf
The Facility Control Markup Language FCML.
ICDS
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger
2007 — conf
A Local Data Stream Management System.
SETP
Christian Hänsel, Bernhard Lorenz, Hans Jürgen Ohlbach
2007 — conf
Towards a Semantic Spatial Model for Pedestrian Indoor Navigation.
ER Workshops
Edgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach
2006 C conf
A Hybrid Spatial Model for Representing Indoor Environments.
W2GIS
Bernhard Lorenz, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel
2006 — conf
Fuzzy Time Intervals System Description of the FuTI-Library.
PPSWR
Hans Jürgen Ohlbach
2006 Misc conf
GeTS - A Specification Language for Geo-Temporal Notions.
KI
Hans Jürgen Ohlbach
2006 C conf
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming.
IV
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach
2006 — conf
Ontology Driven Visualisation of Maps with SVG - Technical Aspects.
ASWC
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach
2006 — ed.
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005
Principles and Practices of Semantic Web Reasoning
François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
2005 — conf
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.
Principles and Practices of Semantic Web Reasoning
François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
2005 — conf
A Geospatial World Model for the Semantic Web.
PPSWR
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner
2005 B conf
Automated Reasoning in the Context of the Semantic Web.
TABLEAUX
Hans Jürgen Ohlbach
2005 — conf
Computational Treatment of Temporal Notions - The CTTN-System.
Annotating, Extracting and Reasoning about Time and Events
Hans Jürgen Ohlbach
2005 — conf
Computational Treatment of Temporal Notions: The CTTN-System.
Annotating, Extracting and Reasoning about Time and Events
Hans Jürgen Ohlbach
2005 — conf
Computational Treatment of Temporal Notions: The CTTN-System.
PPSWR
Hans Jürgen Ohlbach
2005 — conf
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library.
We Will Show Them! (2)
Hans Jürgen Ohlbach
2004 — conf
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals.
PPSWR
Hans Jürgen Ohlbach
2004 — ed.
Principles and Practice of Semantic Web Reasoning, Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings
PPSWR
Hans Jürgen Ohlbach, Sebastian Schaffert
2004 — conf
Reasoning on the Web: Language Prototypes and Perspectives.
EWIMT
Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger
2004 C conf
Relations Between Fuzzy Time Intervals.
TIME
Hans Jürgen Ohlbach
2004 C conf
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions.
TIME
Hans Jürgen Ohlbach
2003 — conf
Geotemporal Reasoning for Semantic Web Applications.
KRDB
Hans Jürgen Ohlbach
2003 — conf
On Reasoning on Time and Location on the Web.
PPSWR
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger
2001 — ch.
Encoding Two-Valued Nonclassical Logics in Classical Logic.
Handbook of Automated Reasoning
Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay
2000 — ed.
Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000.
ARW
Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach
1999 J jnl
Modal Logics, Description Logics and Arithmetic Reasoning.
Artif. Intell.
Hans Jürgen Ohlbach, Jana Koehler
1999 — conf
Set Description Languages and Reasoning about Numerical Features of Sets.
Description Logics
Hans Jürgen Ohlbach
1998 J jnl
Calendar Logic.
J. Appl. Non Class. Logics
Hans Jürgen Ohlbach, Dov M. Gabbay
1998 A conf
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework.
CADE
Hans Jürgen Ohlbach
1998 J jnl
Elimination of Self-Resolving Clauses.
J. Autom. Reason.
Hans Jürgen Ohlbach
1998 J jnl
Extensions of First-Order Logic, Maria Manzano.
J. Log. Lang. Inf.
Hans Jürgen Ohlbach
1997 — conf
Efficient Data Structures for Deduction Systems.
DOOD
Hans Jürgen Ohlbach
1997 J jnl
Functional Translation and Second-Order Frame Properties of Modal Logics.
J. Log. Comput.
Hans Jürgen Ohlbach, Renate A. Schmidt
1997 — ed.
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
ECSQARU-FAPR
Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach
1997 — conf
Role Hierarchies and Number Restrictions.
Description Logics
Hans Jürgen Ohlbach, Jana Koehler
1996 J jnl
Computer Support for the Development and Investigation of Logics.
Log. J. IGPL
Hans Jürgen Ohlbach
1996 — ed.
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings
FAPR
Dov M. Gabbay, Hans Jürgen Ohlbach
1996 A conf
SCAN - Elimination of Predicate Quantifiers.
CADE
Hans Jürgen Ohlbach
1995 J jnl
A Multi-Dimensional Terminological Knowledge Representation Language.
J. Appl. Non Class. Logics
Franz Baader, Hans Jürgen Ohlbach
1995 J jnl
A Note on Assumptions about Skolem Functions.
J. Autom. Reason.
Hans Jürgen Ohlbach, Christoph Weidenbach
1995 J jnl
Editorial.
Log. J. IGPL
Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
1995 J jnl
The Bulletin turned into a Journal.
Log. J. IGPL
Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
1994 — ed.
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
ICTL
Dov M. Gabbay, Hans Jürgen Ohlbach
1993 A* conf
A Multi-Dimensional Terminological Knowledge Representation Language.
IJCAI
Hans Jürgen Ohlbach
1993 J jnl
Editorial: The Possibility of Generating True Conjectures.
J. Log. Comput.
Hans Jürgen Ohlbach, Renate A. Schmidt
1993 — ed.
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings
GWAI
Hans Jürgen Ohlbach
1993 B conf
Optimized Translation of Multi Modal Logic into Predicate Logic.
LPAR
Hans Jürgen Ohlbach
1993 J jnl
Translation Methods for Non-Classical Logics: An Overview.
Log. J. IGPL
Hans Jürgen Ohlbach
1992 — conf
From A Hilbert Calculus to its Model Theoretic Semantics.
ALPUK
Dov M. Gabbay, Hans Jürgen Ohlbach
1992 J jnl
Logic Engineering - Konstruktion von Logiken.
Künstliche Intell.
Hans Jürgen Ohlbach
1992 A* conf
Quantifier Elimination in Second-Order Predicate Logic.
KR
Dov M. Gabbay, Hans Jürgen Ohlbach
1991 A* conf
Parameter Structures for Parametrized Modal Operators.
IJCAI
Hans Jürgen Ohlbach, Andreas Herzig
1991 J jnl
Reduction Rules for Resolution-Based Systems.
Artif. Intell.
Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein
1991 J jnl
Semantics-Based Translation Methods for Modal Logics.
J. Log. Comput.
Hans Jürgen Ohlbach
1991 — conf
The Markgraf Karl Refutation Procedure.
Computational Logic - Essays in Honor of Alan Robinson
Hans Jürgen Ohlbach, Jörg H. Siekmann
1990 A conf
A Resolution Calculus with Dynamic Sort Structures and Partial Functions.
ECAI
Christoph Weidenbach, Hans Jürgen Ohlbach
1990 A conf
Abstraction Tree Indexing for Terms.
ECAI
Hans Jürgen Ohlbach
1990 Misc conf
Compilation of Recursive Two-Literal Clauses into Unification Algorithms.
AIMSA
Hans Jürgen Ohlbach
1990 A conf
Tutorial on Compilation techniques for Logics.
CADE
Hans Jürgen Ohlbach, Andreas Herzig
1989 — conf
Context Logic - An Introduction.
GWAI
Hans Jürgen Ohlbach
1989 B conf
New Ways for Developing Proof Theories for First-Order Multi Modal Logics.
CSL
Hans Jürgen Ohlbach
1988 — —
A Resolution Calculus for Modal Logics.
Hans Jürgen Ohlbach
1988 A conf
A Resolution Calculus for Modal Logics.
CADE
Hans Jürgen Ohlbach
1988 J jnl
Bericht zur 9th Conference on Automated Deduction.
Künstliche Intell.
Hans Jürgen Ohlbach, Manfred Schmidt-Schauß
1987 J jnl
Link Inheritance in Abstract Clause Graphs.
J. Autom. Reason.
Hans Jürgen Ohlbach
1986 A conf
The Markgraf Karl Refutation Procedure (MKRP).
CADE
Norbert Eisinger, Hans Jürgen Ohlbach
1986 — conf
The Semantic Clause Graph Procedure - A First Overview.
GWAI
Hans Jürgen Ohlbach
1985 J jnl
Predicate Logic Hacker Tricks.
J. Autom. Reason.
Hans Jürgen Ohlbach
1985 J jnl
The Lion and the Unicorn.
J. Autom. Reason.
Hans Jürgen Ohlbach, Manfred Schmidt-Schauß
1985 — conf
Theory Unification in Abstract Clause Graphs.
GWAI
Hans Jürgen Ohlbach
1984 A conf
Solving a Problem in Relevance Logic with an Automated Theorem Prover.
CADE
Hans Jürgen Ohlbach, Graham Wrightson
1983 — conf
Ein regelbasiertes Klauselgraph-Beweisverfahren.
GWAI
Hans Jürgen Ohlbach
1983 A* conf
TERMINATOR.
IJCAI
Grigoris Antoniou, Hans Jürgen Ohlbach