Publications

Elisabeth Andre; Thomas Rist

DFKI, DFKI Research Reports (RR), Vol. 94-01, 1994.

Jana Koehler

In: A. G. Cohn (Hrsg.). European Conference on Artificial Intelligence (ECAI) 1994. European Conference on Artificial Intelligence (ECAI-1994), …

Wray Buntine; Hans-Jürgen Bürckert

In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

Hans-Jürgen Bürckert

In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

Dieter Hutter; Jürgen Cleve

In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

Dieter Hutter

In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …

Dieter Hutter

In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …

Hans Uszkoreit; Rolf Backofen; Stephan Busemann; Abdel Kader Diagne; Elizabeth Hinkelman; Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Klaus Netter; Günter Neumann; Stephan Oepen; Stephen P. Spackman

In: Proceedings of the 15th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-94), …

Hans Uszkoreit; Rolf Backofen; Stephan Busemann; Abdel Kader Diagne; Elizabeth Hinkelman; Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Klaus Netter; Günter Neumann; Stephan Oepen; Stephen P. Spackman

DFKI, DFKI Research Reports (RR), Vol. 94-38, 1994.