Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hans Jürgen Ohlbach
2010 – today
- 2012
[c48]
2000 – 2009
- 2008
- [c47]Christian Hänsel, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel: L-DSMS - A Local Data Stream Management System. ECSA 2008: 298-305
- [c46]Edgar-Philipp Stoffel, Korbinian Schoder, Hans Jürgen Ohlbach: Applying hierarchical graphs to pedestrian indoor navigation. GIS 2008: 54
- [c45]François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger: The Facility Control Markup Language FCML. ICDS 2008: 117-122
- [e8]Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler (Eds.): INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München. LNI 133, GI 2008, ISBN 978-3-88579-227-7
- [e7]Heinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler (Eds.): INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München. LNI 134, GI 2008, ISBN 978-3-88579-228-4
- 2007
- [c44]Edgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach: Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. ER Workshops 2007: 328-337
- [c43]Christian Hänsel, Bernhard Lorenz, Hans Jürgen Ohlbach: A Local Data Stream Management System. SETP 2007: 81-88
- 2006
- [c42]Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach: Ontology Driven Visualisation of Maps with SVG - Technical Aspects. ASWC 2006: 329-335
- [c41]Frank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach: Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. IV 2006: 424-429
- [c40]
- [c39]Hans Jürgen Ohlbach: Fuzzy Time Intervals System Description of the FuTI-Library. PPSWR 2006: 257-261
- [c38]Bernhard Lorenz, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel: A Hybrid Spatial Model for Representing Indoor Environments. W2GIS 2006: 102-112
- [e6]François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach (Eds.): 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
- 2005
- [c37]Hans Jürgen Ohlbach: Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. We Will Show Them! (2) 2005: 453-498
- [c36]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
- [c35]Hans Jürgen Ohlbach: Computational Treatment of Temporal Notions - The CTTN-System. Annotating, Extracting and Reasoning about Time and Events 2005
- [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, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner: A Geospatial World Model for the Semantic Web. PPSWR 2005: 145-159
- [c31]
- 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]
- [c27]Hans Jürgen Ohlbach: The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. TIME 2004: 60-63
- [e5]Hans Jürgen Ohlbach, Sebastian Schaffert (Eds.): 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
- 2003
- [c26]
- [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
- 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
1990 – 1999
- 1999
- [j19]Hans Jürgen Ohlbach, Jana Koehler: Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109(1-2): 1-31 (1999)
- [c24]Hans Jürgen Ohlbach: Set Description Languages and Reasoning about Numerical Features of Sets. Description Logics 1999
- 1998
- [j18]Hans Jürgen Ohlbach, Dov M. Gabbay: Calendar Logic. Journal of Applied Non-Classical Logics 8(4): 291-323 (1998)
- [j17]Hans Jürgen Ohlbach: Elimination of Self-Resolving Clauses. J. Autom. Reasoning 20(3): 317-336 (1998)
- [j16]Hans Jürgen Ohlbach: Extensions of First-Order Logic, Maria Manzano. Journal of Logic, Language and Information 7(3): 389-391 (1998)
- [c23]Hans Jürgen Ohlbach: Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. CADE 1998: 205-219
- 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)
- [c22]Hans Jürgen Ohlbach, Jana Koehler: Role Hierarchies and Number Restrictions. Description Logics 1997
- [c21]
- [e4]Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (Eds.): 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
- 1996
- [j14]Hans Jürgen Ohlbach: Computer Support for the Development and Investigation of Logics. Logic Journal of the IGPL 4(1): 109-127 (1996)
- [c20]
- [e3]Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): 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
- 1995
- [j13]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the 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. Logic Journal of the IGPL 3(5): 682 (1995)
- [j11]Franz Baader, Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5(2): 153-197 (1995)
- [j10]Hans Jürgen Ohlbach, Christoph Weidenbach: A Note on Assumptions about Skolem Functions. J. Autom. Reasoning 15(2): 267-275 (1995)
- 1994
- [e2]Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): 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
- 1993
- [j9]Hans Jürgen Ohlbach: Translation Methods for Non-Classical Logics: An Overview. Logic Journal of the 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)
- [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
- [e1]Hans Jürgen Ohlbach (Ed.): 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
- 1992
- [j7]
- [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
- [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)
- [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]
- [c11]
- [c10]Christoph Weidenbach, Hans Jürgen Ohlbach: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI 1990: 688-693
1980 – 1989
- 1989
- [c9]Hans Jürgen Ohlbach: New Ways for Developing Proof Theories for First-Order Multi Modal Logics. CSL 1989: 271-308
- [c8]
- 1988
- [b1]Hans Jürgen Ohlbach: A Resolution Calculus for Modal Logics. Universität Kaiserslautern 1988, pp. 1-115
- [j4]Hans Jürgen Ohlbach, Manfred Schmidt-Schauß: Bericht zur 9th Conference on Automated Deduction. KI 2(4): 18-19 (1988)
- [c7]
- 1987
- [j3]Hans Jürgen Ohlbach: Link Inheritance in Abstract Clause Graphs. J. Autom. Reasoning 3(1): 1-34 (1987)
- 1986
- [c6]Norbert Eisinger, Hans Jürgen Ohlbach: The Markgraf Karl Refutation Procedure (MKRP). CADE 1986: 681-682
- [c5]
- 1985
- [j2]Hans Jürgen Ohlbach, Manfred Schmidt-Schauß: The Lion and the Unicorn. J. Autom. Reasoning 1(3): 327-332 (1985)
- [j1]
- [c4]
- 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]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team