DFKI-LT - Publications

1996
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logics
in: Martin C. Golumbic (ed.):
Annals of Mathematics and Artificial Intelligence volume 18 number 2, Pages 95-131, Springer, Netherlands, 9/1996
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Projekt TACOS: Taxonomies and Common Sense
Abschlussbericht Technical Report, DFKI GmbH, 1996
 
1995
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Descriptin Logic Reasoner
in: A. Borgida, M. Lenzerini, D. Nardi, B. Nebel (eds.):
Proceedings of the 1995 International Workshop on Description Logics volume RAP 07.95,
Research Reports, Pages 99-105, University "La Sapienza", Rome, Italy, o.A., 1995
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner
volume 95-04,
DFKI Research Reports, Pages 17,
Research Report Technical Report, DFKI GmbH, DFKI GmbH, 1995
 
Hans-Jürgen Bürckert, Andrea Gräber, Armin Laux
Terminological Reasoning with Knowledge and Beliefs
in: Armin#Laux, Heinrich Wansing (eds.):
Knowledge and Beliefs in Philosophy and Artificial Intelligence, Pages 29-64, Akademie-Verlag, 1995
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
Task Acquisition with a Description Logic Reasoner
in: Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.):
KI'95: Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence volume 981,
Lecture Notes In Computer Science, Pages 125-136, Springer-Verlag, London, UK, 1995
 
1994
 
Franz Baader, Armin Laux
Terminological Logics with Modal Operators
volume 94-33,
DFKI Research Reports, Pages 29Technical Report, DFKI, 1994
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols
in: Anthony G. Cohn (ed.):
Proceedings of the 11th European Conference on Artificial Intelligence, Pages 406-410, Amsterdam, Netherlands, J. Wiley, 1994
 
Hans-Jürgen Bürckert, Andrea Gräber, Armin Laux
Terminological Reasoning with Knowledge and Beliefs. Extended Abstract.
in: J. Kunze, H. Stoyan (eds.):
Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence volume 861,
Lecture Notes in Artificial Intelligence, Pages 127-128, Saarbrücken, Germany, Springer, Gesellschaft für Informatik, 1994
 
1993
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
Concept Logics with Function Symbols
volume 93-07,
DFKI Research Reports, Pages 36Technical Report, DFKI GmbH, DFKI GmbH, 4/1993
 
Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux
On Skolemization in Constrained Logis
volume 93-06,
DFKI Research Reports, Pages 40Technical Report, DFKI GmbH, DFKI GmbH, 1993
 
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen
in: A. B. Cremers, G. Lakemeyer (eds.):
Proceedings of AKI-Workshop "Wissensrepräsentation", Bonn, Germany, o.A., 1993
 
Knut#Hinkelmann, Armin#Laux (eds.)
DFKI Workshop on Knowledge Representation Techniques - Proceedings
volume 93-11,
DFKI Documents, Pages 88, Kaiserslautern, Germany, DFKI, DFKI, 1993
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Jörg Siekmann
Projekt WINO: Wissens- und Inferenzobjektivierung
Abschlussbericht Technical Report, DFKI GmbH, 1993
 
Armin Laux
Representing Belief in Multi-Agent Worlds via Terminological Logics
volume 93-29,
DFKI Research Reports, Pages 35Technical Report, DFKI, 1993
 
1992
 
Armin Laux
Integrating a Modal Logic of Knowledge into Terminological Logics
volume 92-56,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1992
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logik
KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. volume 92 number 3, Pages 23-33, Springer, 1992
 
1991
 
Erich Achilles, Bernhard Hollunder, Armin Laux, Jörg-Peter Mohren
KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch
volume 91-14,
DFKI Documents, Pages 28Technical Report, DFKI, 1991