Publikationen von Armin Laux

1996

• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  On Skolemization in Constrained Logics.
  In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence, Vol. 18, No. 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, 1996.

1995

• Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux
  Terminological Reasoning with Knowledge and Beliefs.
  In: Armin Laux; Heinrich Wansing (Hrsg.). 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 (Hrsg.). KI'95: Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence. Pages 125-136, Lecture Notes In Computer Science (LNCS), Vol. 981, ISBN 3-540-60343-3, Springer-Verlag, London, UK, 1995.
• Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
  Task Acquisition with a Description Logic Reasoner.
  Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 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 (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. DL-1995, June 2-3, University "La Sapienza", Rome, Italy, Pages 99-105, Research Reports, Vol. RAP 07.95, 1995.

1994

• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  Concept Logics with Function Symbols.
  In: Anthony G. Cohn (Hrsg.). Proceedings of the 11th European Conference on Artificial Intelligence. ECAI-94, August 8-12, Amsterdam, Netherlands, Pages 406-410, 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 (Hrsg.). Workshop Proceedings of the 18th German Annual Conferecnce on Artificial Intelligence. Pages 127-128, 1994.
• Franz Baader; Armin Laux
  Terminological Logics with Modal Operators.
  DFKI, DFKI Research Reports (RR), Vol. 94-33, 1994.

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 (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". Bonn, Germany, 1993.
• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  Concept Logics with Function Symbols.
  DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.
• Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux
  On Skolemization in Constrained Logis.
  DFKI GmbH, DFKI Research Reports (RR), Vol. 93-06, 1993.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann
  Projekt WINO: Wissens- und Inferenzobjektivierung.
  Abschlussbericht, 1993.
• Knut Hinkelmann; Armin Laux (Hrsg.)
  DFKI Workshop on Knowledge Representation Techniques - Proceedings.
  DFKI DFKI Workshops, July 8, Kaiserslautern, Germany, DFKI Documents (D), Vol. 93-11, DFKI, 1993.
• Armin Laux
  Representing Belief in Multi-Agent Worlds via Terminological Logics.
  DFKI, DFKI Research Reports (RR), Vol. 93-29, 1993.

1992

• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
  Terminologische Logik.
  In: Künstliche Intelligenz, Vol. 92, No. 3, Pages 23-33, 1992.
• Armin Laux
  Integrating a Modal Logic of Knowledge into Terminological Logics.
  DFKI, DFKI Research Reports (RR), Vol. 92-56, 1992.

1991

• Erich Achilles; Bernhard Hollunder; Armin Laux; Jörg-Peter Mohren
  KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch.
  DFKI, DFKI Documents (D), Vol. 91-14, 1991.