Hans Jürgen Ohlbach

Proceedings of the KEOD 2012 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Barcelona, Spain, 4, 2012

2008

The Facility Control Markup Language FCML.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Digital Society (ICDS 2008), 2008

Applying hierarchical graphs to pedestrian indoor navigation.

[BibT_eX]

[DOI]

Korbinian Schoder

Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008

L-DSMS - A Local Data Stream Management System.

[BibT_eX]

[DOI]

Christian Hänsel

Proceedings of the Software Architecture, Second European Conference, 2008

2007

A Local Data Stream Management System.

[BibT_eX]

Christian Hänsel

Proceedings of the International Conference on Software Engineering Theory and Practice, 2007

Towards a Semantic Spatial Model for Pedestrian Indoor Navigation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

2006

A Hybrid Spatial Model for Representing Indoor Environments.

[BibT_eX]

[DOI]

Proceedings of the Web and Wireless Geographical Information Systems, 2006

Fuzzy Time Intervals System Description of the FuTI-Library.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

GeTS - A Specification Language for Geo-Temporal Notions.

[BibT_eX]

[DOI]

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming.

[BibT_eX]

[DOI]

Frank Ipfelkofer

Proceedings of the 10th International Conference on Information Visualisation, 2006

Ontology Driven Visualisation of Maps with SVG - Technical Aspects.

[BibT_eX]

[DOI]

Frank Ipfelkofer

Proceedings of the Semantic Web, 2006

2005

Automated Reasoning in the Context of the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Computational Treatment of Temporal Notions: The CTTN-System.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

A Geospatial World Model for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

The Role of Labeled Partitionings for Modeling Periodic Temporal Notions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Relations Between Fuzzy Time Intervals.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Reasoning on the Web: Language Prototypes and Perspectives.

[BibT_eX]

Paula-Lavinia Patranjan

Sebastian Schaffert

Uta Schwertel

Stephanie Spranger

Proceedings of the Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media, 2004

2003

On Reasoning on Time and Location on the Web.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

Geotemporal Reasoning for Semantic Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

2001

Encoding Two-Valued Nonclassical Logics in Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

1999

Modal Logics, Description Logics and Arithmetic Reasoning.

[BibT_eX]

[DOI]

Jana Koehler

Artif. Intell., 1999

Set Description Languages and Reasoning about Numerical Features of Sets.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

Extensions of First-Order Logic, Maria Manzano.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1998

Elimination of Self-Resolving Clauses.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

Calendar Logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1998

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

1997

Functional Translation and Second-Order Frame Properties of Modal Logics.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Log. Comput., 1997

Efficient Data Structures for Deduction Systems.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Role Hierarchies and Number Restrictions.

[BibT_eX]

[DOI]

Jana Koehler

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

Computer Support for the Development and Investigation of Logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

SCAN - Elimination of Predicate Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

A Note on Assumptions about Skolem Functions.

[BibT_eX]

[DOI]

Christoph Weidenbach

J. Autom. Reason., 1995

A Multi-Dimensional Terminological Knowledge Representation Language.

[BibT_eX]

[DOI]

Franz Baader

J. Appl. Non Class. Logics, 1995

Editorial.

[BibT_eX]

[DOI]

Ruy J. G. B. de Queiroz

Log. J. IGPL, 1995

The Bulletin turned into a Journal.

[BibT_eX]

[DOI]

Ruy J. G. B. de Queiroz

Log. J. IGPL, 1995

1993

Editorial: The Possibility of Generating True Conjectures.

[BibT_eX]

[DOI]

Renate A. Schmidt

J. Log. Comput., 1993

Translation Methods for Non-Classical Logics: An Overview.

[BibT_eX]

[DOI]

Log. J. IGPL, 1993

Optimized Translation of Multi Modal Logic into Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

A Multi-Dimensional Terminological Knowledge Representation Language.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Logic Engineering - Konstruktion von Logiken.

[BibT_eX]

Künstliche Intell., 1992

Quantifier Elimination in Second-Order Predicate Logic.

[BibT_eX]

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

From A Hilbert Calculus to its Model Theoretic Semantics.

[BibT_eX]

[DOI]

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

Semantics-Based Translation Methods for Modal Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 1991

Reduction Rules for Resolution-Based Systems.

[BibT_eX]

[DOI]

Norbert Eisinger

Axel Präcklein

Artif. Intell., 1991

Parameter Structures for Parametrized Modal Operators.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

The Markgraf Karl Refutation Procedure.

[BibT_eX]

Jörg H. Siekmann

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

A Resolution Calculus with Dynamic Sort Structures and Partial Functions.

[BibT_eX]

Christoph Weidenbach

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Abstraction Tree Indexing for Terms.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Tutorial on Compilation techniques for Logics.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the 10th International Conference on Automated Deduction, 1990

Compilation of Recursive Two-Literal Clauses into Unification Algorithms.

[BibT_eX]

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1989

Context Logic - An Introduction.

[BibT_eX]

[DOI]

Proceedings of the GWAI-89, 1989

New Ways for Developing Proof Theories for First-Order Multi Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the CSL '89, 1989

1988

Bericht zur 9th Conference on Automated Deduction.

[BibT_eX]

Manfred Schmidt-Schauß

Künstliche Intell., 1988

A Resolution Calculus for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

A Resolution Calculus for Modal Logics.

[BibT_eX]

[DOI]

PhD thesis, 1988

1987

Link Inheritance in Abstract Clause Graphs.

[BibT_eX]

[DOI]

J. Autom. Reason., 1987

1986

The Semantic Clause Graph Procedure - A First Overview.

[BibT_eX]

[DOI]

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

The Markgraf Karl Refutation Procedure (MKRP).

[BibT_eX]

[DOI]

Norbert Eisinger

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

The Lion and the Unicorn.

[BibT_eX]

[DOI]

Manfred Schmidt-Schauß

J. Autom. Reason., 1985

Predicate Logic Hacker Tricks.

[BibT_eX]

[DOI]

J. Autom. Reason., 1985

Theory Unification in Abstract Clause Graphs.

[BibT_eX]

[DOI]

Proceedings of the GWAI-85, 1985

1984

Solving a Problem in Relevance Logic with an Automated Theorem Prover.

[BibT_eX]

[DOI]

Graham Wrightson

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Ein regelbasiertes Klauselgraph-Beweisverfahren.

[BibT_eX]

[DOI]

Proceedings of the GWAI-83, 1983

TERMINATOR.

[BibT_eX]

[DOI]

Grigoris Antoniou