Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 128.
  1. Hans-Jürgen Bürckert; Werner Nutt

    Modellierung epistemischer Propositionen

    In: O. Herzog; Th. Christaller; D. Schütt (Hrsg.). Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz. German Conference on Artificial Intelligence (KI), 17. September 13-16, Pages 264-267, Informatik aktuell, ISBN 3-540-57278-3, Springer, London, 1993.

  2. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann

    Projekt WINO: Wissens- und Inferenzobjektivierung

    Abschlussbericht, 1993.

  3. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logis

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-06, 1993.

  4. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    Concept Logics with Function Symbols

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-07, 4/1993.

  5. Bernhard Nebel; Hans-Jürgen Bürckert

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    DFKI, DFKI Research Reports (RR), Vol. 93-11, 1993.

  6. Franz Baader; Hans-Jürgen Bürckert

    Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)

    In: Eric Domenjoud; Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. Computational Chemistry List Workshop (CCL), 1st, Nancy, France, Interner Bericht, Vol. 93-R-023, CRIN, 1993.

  7. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Modeling Epistemic Propositions

    Workshop on Modeling Epistemic Propositions, located at 17th German Conference on Artificial Intelligence, September 13-16, Berlin, Germany, DFKI Documents (D), Vol. 93-25, DFKI GmbH, 1993.

  8. John Nerbonne; Stephan Oepen; Abdel Kader Diagne; Karsten Konrad; Ingo Neis

    NLL - Tools for Meaning Representation

    In: Stephan Busemann; Karin Harbusch (Hrsg.). DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI Workshops, October 23, Saarbrücken, Germany, Pages 43-50, DFKI Documents (D), Vol. 93-03, DFKI, 1993.

  9. John Nerbonne; Klaus Netter; Abdel Kader Diagne; Ludwig Dickmann; Judith Klein

    A Diagnostic Tool for German Syntax

    In: Machine Translation (MT), Vol. 8, Pages 85-107, Springer, 1993.

  10. John Nerbonne; Joachim Laubsch; Abdel Kader Diagne; Stephan Oepen

    Software for Applied Semantics

    In: Chu-Ren Huang; C. H. Chang; K. J. Chen; C.-H. Lui (Hrsg.). 1st Pacific Asia Conference on Formal and Computational Linguistics. Pacific Asia Conference on Formal and Computational Linguistics, 1st, August 30-31, Taipei, Taiwan, Province of China, Pages 35-56, Computational Linguistics Society of R.O.C. 1993.