Hans Jürgen Ohlbach Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler: 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 GI 2008
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz-Gerd Hegering, Axel Lehmann, Hans Jürgen Ohlbach, Christian Scheideler: 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 GI 2008
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hänsel, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel: L-DSMS - A Local Data Stream Management System. ECSA 2008: 298-305
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar-Philipp Stoffel, Korbinian Schoder, Hans Jürgen Ohlbach: Applying hierarchical graphs to pedestrian indoor navigation. GIS 2008: 54
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger: The Facility Control Markup Language FCML. ICDS 2008: 117-122
2007
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach: Towards a Semantic Spatial Model for Pedestrian Indoor Navigation. ER Workshops 2007: 328-337
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Hänsel, Bernhard Lorenz, Hans Jürgen Ohlbach: A Local Data Stream Management System. SETP 2007: 81-88
2006
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach: Ontology Driven Visualisation of Maps with SVG - Technical Aspects. ASWC 2006: 329-335
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Ipfelkofer, Bernhard Lorenz, Hans Jürgen Ohlbach: Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming. IV 2006: 424-429
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: GeTS - A Specification Language for Geo-Temporal Notions. KI 2006: 214-228
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Fuzzy Time Intervals System Description of the FuTI-Library. PPSWR 2006: 257-261
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Lorenz, Hans Jürgen Ohlbach, Edgar-Philipp Stoffel: A Hybrid Spatial Model for Representing Indoor Environments. W2GIS 2006: 102-112
2005
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Computational Treatment of Temporal Notions - The CTTN-System. Annotating, Extracting and Reasoning about Time and Events 2005
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Computational Treatment of Temporal Notions: The CTTN-System. Annotating, Extracting and Reasoning about Time and Events 2005: 72-87
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Computational Treatment of Temporal Notions: The CTTN-System. PPSWR 2005: 133-144
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner: A Geospatial World Model for the Semantic Web. PPSWR 2005: 145-159
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Automated Reasoning in the Context of the Semantic Web. TABLEAUX 2005: 14-14
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. We Will Show Them! (2) 2005: 453-498
2004
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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 Springer 2004
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSacha 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals. PPSWR 2004: 118-133
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Relations Between Fuzzy Time Intervals. TIME 2004: 44-51
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. TIME 2004: 60-63
2003
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Geotemporal Reasoning for Semantic Web Applications. KRDB 2003
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger: On Reasoning on Time and Location on the Web. PPSWR 2003: 69-83
2001
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
1999
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Set Description Languages and Reasoning about Numerical Features of Sets. Description Logics 1999
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jana Koehler: Modal Logics, Description Logics and Arithmetic Reasoning. Artif. Intell. 109(1-2): 1-31 (1999)
1998
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Combining Hilbert Style and Semantic Reasoning in a Resolution Framework. CADE 1998: 205-219
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Elimination of Self-Resolving Clauses. J. Autom. Reasoning 20(3): 317-336 (1998)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Dov M. Gabbay: Calendar Logic. Journal of Applied Non-Classical Logics 8(4): (1998)
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Extensions of First-Order Logic, Maria Manzano. Journal of Logic, Language and Information 7(3): 389-391 (1998)
1997
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Efficient Data Structures for Deduction Systems. DOOD 1997: 1-2
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jana Koehler: Role Hierarchies and Number Restrictions. Description Logics 1997
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: SCAN - Elimination of Predicate Quantifiers. CADE 1996: 161-165
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Computer Support for the Development and Investigation of Logics. Logic Journal of the IGPL 4(1): 109-127 (1996)
1995
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Christoph Weidenbach: A Note on Assumptions about Skolem Functions. J. Autom. Reasoning 15(2): 267-275 (1995)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5(2): (1995)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 3(1): 4-6 (1995)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov 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)
1994
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Hans Jürgen Ohlbach: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings Springer 1994
1993
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. IJCAI 1993: 690-695
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Optimized Translation of Multi Modal Logic into Predicate Logic. LPAR 1993: 253-264
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Renate A. Schmidt: Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3(4): 341-343 (1993)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Translation Methods for Non-Classical Logics: An Overview. Logic Journal of the IGPL 1(1): 69-89 (1993)
1992
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Hans Jürgen Ohlbach: From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK 1992: 218-252
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Hans Jürgen Ohlbach: Quantifier Elimination in Second-Order Predicate Logic. KR 1992: 425-435
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Logic Engineering - Konstruktion von Logiken. KI 6(3): 34-38 (1992)
1991
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Andreas Herzig: Parameter Structures for Parametrized Modal Operators. IJCAI 1991: 512-517
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein: Reduction Rules for Resolution-Based Systems. Artif. Intell. 50(2): 141-181 (1991)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Semantics-Based Translation Methods for Modal Logics. J. Log. Comput. 1(5): 691-746 (1991)
1990
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Compilation of Recursive Two-Literal Clauses into Unification Algorithms. AIMSA 1990: 13-22
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Andreas Herzig: Tutorial on Compilation techniques for Logics. CADE 1990: 683
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Abstraction Tree Indexing for Terms. ECAI 1990: 479-484
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Weidenbach, Hans Jürgen Ohlbach: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI 1990: 688-693
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: New Ways for Developing Proof Theories for First-Order Multi Modal Logics. CSL 1989: 271-308
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Context Logic - An Introduction. GWAI 1989: 27-36
1988
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: A Resolution Calculus for Modal Logics. CADE 1988: 500-516
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Manfred Schmidt-Schauß: Bericht zur 9th Conference on Automated Deduction. KI 2(4): 18-19 (1988)
1987
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Link Inheritance in Abstract Clause Graphs. J. Autom. Reasoning 3(1): 1-34 (1987)
1986
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Eisinger, Hans Jürgen Ohlbach: The Markgraf Karl Refutation Procedure (MKRP). CADE 1986: 681-682
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: The Semantic Clause Graph Procedure - A First Overview. GWAI 1986: 218-229
1985
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Theory Unification in Abstract Clause Graphs. GWAI 1985: 77-100
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Manfred Schmidt-Schauß: The Lion and the Unicorn. J. Autom. Reasoning 1(3): 327-332 (1985)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Predicate Logic Hacker Tricks. J. Autom. Reasoning 1(4): 435-440 (1985)
1984
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Graham Wrightson: Solving a Problem in Relevance Logic with an Automated Theorem Prover. CADE 1984: 496-508
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach: Ein regelbasiertes Klauselgraph-Beweisverfahren. GWAI 1983: 216-224
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Hans Jürgen Ohlbach: TERMINATOR. IJCAI 1983: 916-919

Coauthor Index

1Grigoris Antoniou [1]
2Franz Baader [33]
3Sacha Berger [54]
4François Bry (François Bry-Haußer) [49] [54] [58] [59] [68] [71]
5Norbert Eisinger [8] [19]
6François Fages [58] [68]
7Dov M. Gabbay [23] [24] [30] [31] [32] [37] [41] [43] [48]
8Christian Hänsel [69] [73]
9Heinz-Gerd Hegering [74] [75]
10Andreas Herzig [16] [20]
11Frank Ipfelkofer [66] [67]
12Jana Koehler (Jana Köhler) [39] [46]
13Rudolf Kruse [41]
14Axel Lehmann [74] [75]
15Bernhard Lorenz [49] [54] [59] [63] [66] [67] [69] [70] [71]
16Massimo Marchiori [58] [68]
17Andreas Nonnengart [41] [48]
18Paula-Lavinia Patranjan [54]
19Axel Präcklein [19]
20Ruy J. G. B. de Queiroz [31] [32]
21Maarten de Rijke [48]
22Martin Roeder [71]
23Mike Rosner [59]
24Sebastian Schaffert [54] [55]
25Christian Scheideler [74] [75]
26Renate A. Schmidt [26] [38]
27Manfred Schmidt-Schauß [5] [10]
28Korbinian Schoder [72]
29Uta Schwertel [54]
30Jörg H. Siekmann [21]
31Stephanie Spranger [49] [54]
32Edgar-Philipp Stoffel [63] [70] [72] [73]
33Christoph Weidenbach [14] [34]
34Marc Weinberger [71]
35Graham Wrightson [3]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)