N.M. Mattos; Andreas Dengel
In: Proceedings ISAI. International Symposium on Artificial Intelligence (ISAI-91), 4th, November 13-15, Cancún, Mexico, Pages 136-142, 11/1991.
Andreas Dengel
In: Proceedings of the 4th International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI), 4th, …
Hans-Jürgen Bürckert
In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, …
Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka
DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.
Hans-Jürgen Bürckert; Jürgen Müller; Achim Schupeta
DFKI, DFKI Research Reports (RR), Vol. 91-09, 1991.
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 …
In: Themen aus der Wissenschaft, Vol. Wissenschaftliche Aspekte der Künstlichen Intelligenz, No. 4, Pages 55-70, 5/1991.
Rolf Backofen; Harald Trost; Hans Uszkoreit
In: W. Brauer; D. Hernandez (Hrsg.). 4th Internationaler GI-Kongress Wissenbasierte Systeme. Verteilte Künstliche Intelligenz und kooperatives …
DFKI, DFKI Research Reports (RR), Vol. 91-28, 1991.
Rolf Backofen; Lutz Euler; Günther Görz
DFKI, DFKI Research Reports (RR), Vol. 91-32, 1991.
