Stephan Busemann
In: John Mylopoulos; Raymond Reiter (Hrsg.). Proceedings of the 12th International Joint Conference on Artificial Intelligence. International Joint …
DFKI, DFKI Research Reports (RR), Vol. 91-16, 1991.
In: Proceedings of the 5th Conference of the European Chapter of the ACL. Conference of the European Chapter of the Association for Computational …
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.
In: Harold Boley; M.M. Richter (Hrsg.). International Workshop on Processing Declarative Knowledge. International Workshop on Processing Declarative …
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.