default search action
Hans Jürgen Ohlbach
Person information
- affiliation: Ludwig Maximilian University of Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1988
- [b1]Hans Jürgen Ohlbach:
A Resolution Calculus for Modal Logics. Kaiserslautern University of Technology, Germany, 1988, pp. 1-115
Journal Articles
- 1999
- [j19]Hans Jürgen Ohlbach, Jana Koehler:
Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109(1-2): 1-31 (1999) - 1998
- [j18]Hans Jürgen Ohlbach, Dov M. Gabbay:
Calendar Logic. J. Appl. Non Class. Logics 8(4): 291-323 (1998) - [j17]Hans Jürgen Ohlbach:
Elimination of Self-Resolving Clauses. J. Autom. Reason. 20(3): 317-336 (1998) - [j16]Hans Jürgen Ohlbach:
Extensions of First-Order Logic, Maria Manzano. J. Log. Lang. Inf. 7(3): 389-391 (1998) - 1997
- [j15]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) - 1996
- [j14]Hans Jürgen Ohlbach:
Computer Support for the Development and Investigation of Logics. Log. J. IGPL 4(1): 109-127 (1996) - 1995
- [j13]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
Editorial. Log. J. IGPL 3(1): 4-6 (1995) - [j12]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
The Bulletin turned into a Journal. Log. J. IGPL 3(5): 682 (1995) - [j11]Franz Baader, Hans Jürgen Ohlbach:
A Multi-Dimensional Terminological Knowledge Representation Language. J. Appl. Non Class. Logics 5(2): 153-197 (1995) - [j10]Hans Jürgen Ohlbach, Christoph Weidenbach:
A Note on Assumptions about Skolem Functions. J. Autom. Reason. 15(2): 267-275 (1995) - 1993
- [j9]Hans Jürgen Ohlbach:
Translation Methods for Non-Classical Logics: An Overview. Log. J. IGPL 1(1): 69-89 (1993) - [j8]Hans Jürgen Ohlbach, Renate A. Schmidt
:
Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3(4): 341-343 (1993) - 1992
- [j7]Hans Jürgen Ohlbach:
Logic Engineering - Konstruktion von Logiken. Künstliche Intell. 6(3): 34-38 (1992) - 1991
- [j6]Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein:
Reduction Rules for Resolution-Based Systems. Artif. Intell. 50(2): 141-181 (1991) - [j5]Hans Jürgen Ohlbach:
Semantics-Based Translation Methods for Modal Logics. J. Log. Comput. 1(5): 691-746 (1991) - 1988
- [j4]Hans Jürgen Ohlbach, Manfred Schmidt-Schauß:
Bericht zur 9th Conference on Automated Deduction. Künstliche Intell. 2(4): 18-19 (1988) - 1987
- [j3]Hans Jürgen Ohlbach:
Link Inheritance in Abstract Clause Graphs. J. Autom. Reason. 3(1): 1-34 (1987) - 1985
- [j2]Hans Jürgen Ohlbach, Manfred Schmidt-Schauß:
The Lion and the Unicorn. J. Autom. Reason. 1(3): 327-332 (1985) - [j1]Hans Jürgen Ohlbach:
Predicate Logic Hacker Tricks. J. Autom. Reason. 1(4): 435-440 (1985)
Conference and Workshop Papers
- 2012
- [c46]Hans Jürgen Ohlbach:
Java2OWL: A System for Synchronising Java and OWL. KEOD 2012: 15-24 - 2008
- [c45]Christian Hänsel, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel:
L-DSMS - A Local Data Stream Management System. ECSA 2008: 298-305 - [c44]Edgar-Philipp Stoffel, Korbinian Schoder, Hans Jürgen Ohlbach:
Applying hierarchical graphs to pedestrian indoor navigation. GIS 2008: 54 - [c43]François Bry
The Facility Control Markup Language FCML. ICDS 2008: 117-122 - 2007
- [c42]Edgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach:
Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. ER Workshops 2007: 328-337 - [c41]Christian Hänsel, Bernhard Lorenz, Hans Jürgen Ohlbach:
A Local Data Stream Management System. SETP 2007: 81-88 - 2006
- [c40]Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach:
Ontology Driven Visualisation of Maps with SVG - Technical Aspects. ASWC 2006: 329-335 - [c39]Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach:
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. IV 2006: 424-429 - [c38]Hans Jürgen Ohlbach:
GeTS - A Specification Language for Geo-Temporal Notions. KI 2006: 214-228 - [c37]Hans Jürgen Ohlbach:
Fuzzy Time Intervals System Description of the FuTI-Library. PPSWR 2006: 257-261 - [c36]Bernhard Lorenz, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel:
A Hybrid Spatial Model for Representing Indoor Environments. W2GIS 2006: 102-112 - 2005
- [c35]Hans Jürgen Ohlbach:
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. We Will Show Them! (2) 2005: 453-498 - [c34]Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions: The CTTN-System. Annotating, Extracting and Reasoning about Time and Events 2005: 72-87 - [c33]Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions: The CTTN-System. PPSWR 2005: 133-144 - [c32]François Bry
A Geospatial World Model for the Semantic Web. PPSWR 2005: 145-159 - [c31]Hans Jürgen Ohlbach:
Automated Reasoning in the Context of the Semantic Web. TABLEAUX 2005: 14-14 - 2004
- [c30]Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger:
Reasoning on the Web: Language Prototypes and Perspectives. EWIMT 2004 - [c29]Hans Jürgen Ohlbach:
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals. PPSWR 2004: 118-133 - [c28]Hans Jürgen Ohlbach:
Relations Between Fuzzy Time Intervals. TIME 2004: 44-51 - [c27]Hans Jürgen Ohlbach:
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. TIME 2004: 60-63 - 2003
- [c26]Hans Jürgen Ohlbach:
Geotemporal Reasoning for Semantic Web Applications. KRDB 2003 - [c25]François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger:
On Reasoning on Time and Location on the Web. PPSWR 2003: 69-83 - 1999
- [c24]Hans Jürgen Ohlbach:
Set Description Languages and Reasoning about Numerical Features of Sets. Description Logics 1999 - 1998
- [c23]Hans Jürgen Ohlbach:
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. CADE 1998: 205-219 - 1997
- [c22]Hans Jürgen Ohlbach, Jana Koehler:
Role Hierarchies and Number Restrictions. Description Logics 1997 - [c21]Hans Jürgen Ohlbach:
Efficient Data Structures for Deduction Systems. DOOD 1997: 1-2 - 1996
- [c20]Hans Jürgen Ohlbach:
SCAN - Elimination of Predicate Quantifiers. CADE 1996: 161-165 - 1993
- [c19]Hans Jürgen Ohlbach:
A Multi-Dimensional Terminological Knowledge Representation Language. IJCAI 1993: 690-695 - [c18]Hans Jürgen Ohlbach:
Optimized Translation of Multi Modal Logic into Predicate Logic. LPAR 1993: 253-264 - 1992
- [c17]Dov M. Gabbay, Hans Jürgen Ohlbach:
From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK 1992: 218-252 - [c16]Dov M. Gabbay, Hans Jürgen Ohlbach:
Quantifier Elimination in Second-Order Predicate Logic. KR 1992: 425-435 - 1991
- [c15]Hans Jürgen Ohlbach, Jörg H. Siekmann:
The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112 - [c14]Hans Jürgen Ohlbach, Andreas Herzig:
Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517 - 1990
- [c13]Hans Jürgen Ohlbach:
Compilation of Recursive Two-Literal Clauses into Unification Algorithms. AIMSA 1990: 13-22 - [c12]Hans Jürgen Ohlbach, Andreas Herzig:
Tutorial on Compilation techniques for Logics. CADE 1990: 683 - [c11]Hans Jürgen Ohlbach:
Abstraction Tree Indexing for Terms. ECAI 1990: 479-484 - [c10]Christoph Weidenbach, Hans Jürgen Ohlbach:
A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI 1990: 688-693 - 1989
- [c9]Hans Jürgen Ohlbach:
New Ways for Developing Proof Theories for First-Order Multi Modal Logics. CSL 1989: 271-308 - [c8]Hans Jürgen Ohlbach:
Context Logic - An Introduction. GWAI 1989: 27-36 - 1988
- [c7]Hans Jürgen Ohlbach:
A Resolution Calculus for Modal Logics. CADE 1988: 500-516 - 1986
- [c6]Norbert Eisinger, Hans Jürgen Ohlbach:
The Markgraf Karl Refutation Procedure (MKRP). CADE 1986: 681-682 - [c5]Hans Jürgen Ohlbach:
The Semantic Clause Graph Procedure - A First Overview. GWAI 1986: 218-229 - 1985
- [c4]Hans Jürgen Ohlbach:
Theory Unification in Abstract Clause Graphs. GWAI 1985: 77-100 - 1984
- [c3]Hans Jürgen Ohlbach, Graham Wrightson:
Solving a Problem in Relevance Logic with an Automated Theorem Prover. CADE 1984: 496-508 - 1983
- [c2]Grigoris Antoniou, Hans Jürgen Ohlbach:
TERMINATOR. IJCAI 1983: 916-919 - [c1]Hans Jürgen Ohlbach:
Ein regelbasiertes Klauselgraph-Beweisverfahren. GWAI 1983: 216-224
Parts in Books or Collections
- 2001
- [p1]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
Editorship
- 2008
- [e9]Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler:
38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme - dank Informatik, INFORMATIK 2008, Munich, Germany, September 8-13, 2008, Band 1. LNI P-133, GI 2008, ISBN 978-3-88579-227-7 [contents] - [e8]Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler:
38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme - dank Informatik, INFORMATIK 2008, Munich, Germany, September 8-13, 2008, Band 2. LNI P-134, GI 2008, ISBN 978-3-88579-228-4 [contents] - 2006
- [e7]François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach:
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Dagstuhl Seminar Proceedings 05371, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2004
- [e6]Hans Jürgen Ohlbach, Sebastian Schaffert:
Principles and Practice of Semantic Web Reasoning, Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3208, Springer 2004, ISBN 3-540-22961-2 [contents] - 2000
- [e5]Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues, Stefan Schlobach:
Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. CEUR Workshop Proceedings 32, CEUR-WS.org 2000 [contents] - 1997
- [e4]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. Lecture Notes in Computer Science 1244, Springer 1997, ISBN 3-540-63095-3 [contents] - 1996
- [e3]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. Lecture Notes in Computer Science 1085, Springer 1996, ISBN 3-540-61313-7 [contents] - 1994
- [e2]Dov M. Gabbay, Hans Jürgen Ohlbach:
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 827, Springer 1994, ISBN 3-540-58241-X [contents] - 1993
- [e1]Hans Jürgen Ohlbach:
GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings. Lecture Notes in Computer Science 671, Springer 1993, ISBN 3-540-56667-8 [contents]
Informal and Other Publications
- 2005
- [i2]François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach:
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning 2005 - [i1]Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions - The CTTN-System. Annotating, Extracting and Reasoning about Time and Events 2005
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: