Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1993
Remove all filters
Displaying results 61 to 70 of 128.

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

    On Skolemization in Constrained Logis

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

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen

    In: A. B. Cremers; G. Lakemeyer (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". AKI-Workshop Wissensrepräsentation, Bonn, Germany, 1993.

  7. 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.

  8. Andreas Dengel; Ottmar Lutzy

    Comparative Study of Connectionist Simulators

    DFKI, DFKI Research Reports (RR), Vol. 93-23, 5/1993.

  9. Rainer Hoch; Andreas Dengel

    Document Highlighting - Message Classification in Printed Business Letters

    DFKI GmbH, DFKI Research Reports (RR), Vol. 93-24, 5/1993.

  10. Stephan Baumann; Andreas Dengel

    Transforming Printed Piano Music into MIDI

    In: H. Bunke (Hrsg.). Advances in Structural and Syntactic Pattern Recognition. Proceedings of the International Workshop. International Workshop on Structural and Syntactic Pattern Recognition (SSPR-93), August 26-28, Bern, Switzerland, Pages 363-372, Series in Machine Perception and Artificial Intelligenc (5), ISBN 978-981-4505-15-4, World Scientific Publ. 1993.

Year