dblp.uni-trier.dewww.uni-trier.de

Hans Jürgen Ohlbach Vis

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

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