 | 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 |
| 73 |  | Christian Hänsel,
Hans Jürgen Ohlbach,
Edgar-Philipp Stoffel:
L-DSMS - A Local Data Stream Management System.
ECSA 2008: 298-305 |
| 72 | | Edgar-Philipp Stoffel,
Korbinian Schoder,
Hans Jürgen Ohlbach:
Applying hierarchical graphs to pedestrian indoor navigation.
GIS 2008: 54 |
| 71 | | François Bry,
Bernhard Lorenz,
Hans Jürgen Ohlbach,
Martin Roeder,
Marc Weinberger:
The Facility Control Markup Language FCML.
ICDS 2008: 117-122 |
| 2007 |
|---|
| 70 | | Edgar-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 |
| 67 | | Frank Ipfelkofer,
Bernhard Lorenz,
Hans Jürgen Ohlbach:
Ontology Driven Visualisation of Maps with SVG - Technical Aspects.
ASWC 2006: 329-335 |
| 66 | | Frank Ipfelkofer,
Bernhard Lorenz,
Hans Jürgen Ohlbach:
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming.
IV 2006: 424-429 |
| 65 | | Hans Jürgen Ohlbach:
GeTS - A Specification Language for Geo-Temporal Notions.
KI 2006: 214-228 |
| 64 | | Hans Jürgen Ohlbach:
Fuzzy Time Intervals System Description of the FuTI-Library.
PPSWR 2006: 257-261 |
| 63 | | Bernhard Lorenz,
Hans Jürgen Ohlbach,
Edgar-Philipp Stoffel:
A Hybrid Spatial Model for Representing Indoor Environments.
W2GIS 2006: 102-112 |
| 2005 |
|---|
| 62 | | Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions - The CTTN-System.
Annotating, Extracting and Reasoning about Time and Events 2005 |
| 61 | | Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions: The CTTN-System.
Annotating, Extracting and Reasoning about Time and Events 2005: 72-87 |
| 60 | | Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions: The CTTN-System.
PPSWR 2005: 133-144 |
| 59 | | François Bry,
Bernhard Lorenz,
Hans Jürgen Ohlbach,
Mike Rosner:
A Geospatial World Model for the Semantic Web.
PPSWR 2005: 145-159 |
| 58 | | 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 |
| 57 | | Hans 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 |
| 53 | | Hans Jürgen Ohlbach:
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals.
PPSWR 2004: 118-133 |
| 52 | | Hans Jürgen Ohlbach:
Relations Between Fuzzy Time Intervals.
TIME 2004: 44-51 |
| 51 | | Hans Jürgen Ohlbach:
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions.
TIME 2004: 60-63 |
| 2003 |
|---|
| 50 | | Hans Jürgen Ohlbach:
Geotemporal Reasoning for Semantic Web Applications.
KRDB 2003 |
| 49 | | 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 |
|---|
| 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 |
|---|
| 47 | | Hans Jürgen Ohlbach:
Set Description Languages and Reasoning about Numerical Features of Sets.
Description Logics 1999 |
| 46 | | Hans Jürgen Ohlbach,
Jana Koehler:
Modal Logics, Description Logics and Arithmetic Reasoning.
Artif. Intell. 109(1-2): 1-31 (1999) |
| 1998 |
|---|
| 45 | | Hans 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 |
| 40 | | Hans Jürgen Ohlbach:
Efficient Data Structures for Deduction Systems.
DOOD 1997: 1-2 |
| 39 | | Hans 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 |
| 36 | | Hans Jürgen Ohlbach:
SCAN - Elimination of Predicate Quantifiers.
CADE 1996: 161-165 |
| 35 | | Hans 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) |
| 32 | | Dov M. Gabbay,
Hans Jürgen Ohlbach,
Ruy J. G. B. de Queiroz:
Editorial.
Logic Journal of the IGPL 3(1): 4-6 (1995) |
| 31 | | 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) |
| 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 |
| 27 | | Hans 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) |
| 25 | | Hans 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 |
| 16 | | Hans 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 |
|---|
| 13 | | Hans 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 |
|---|
| 11 | | Hans 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 |
|---|
| 8 | | Norbert 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 |
|---|
| 3 | | Hans 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 |
