Due to maintenance work, it is currently not possible to search for publications by author.
Johannes Stein
DFKI, DFKI Technical Memos (TM), Vol. 91-06, 1991.
Harold Boley (Hrsg.)
Second, Revised Edition, DFKI, DFKI Technical Memos (TM), Vol. 91-04, 1991.
Otto Kühn; Marc Linster; Gabriele Schmidt
DFKI, DFKI Technical Memos (TM), Vol. 91-03, 1991.
Knut Hinkelmann
DFKI, DFKI Technical Memos (TM), Vol. 91-02, 1991.
Jana Koehler
DFKI, DFKI Technical Memos (TM), Vol. 91-01, 1991.
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 …
PhD-Thesis, Universität Kaiserslautern, FB Informatik, Lecture Notes in Artificial Intelligence (LNAI), Vol. 568, 1991.