Seite 3 von 4.
Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt; Andrea Schaerf
DFKI, DFKI Research Reports (RR), Vol. 93-40, 1993.
Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt; Martin Staudt
DFKI, DFKI Research Reports (RR), Vol. 93-44, 1993.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Hans-Jürgen Bürckert; Werner Nutt
Research Report, Vol. RR-92-51, 1992.
Werner Nutt
DFKI, DFKI Research Reports (RR), Vol. 92-01, 1992.
DFKI, DFKI Research Reports (RR), Vol. 92-51, 1992.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich
In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International …
Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka
DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.
Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt
DFKI, DFKI Research Reports (RR), Vol. 91-02, 1991.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …