Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 97
  1. Hans-Jürgen Bürckert; Bernhard Nebel

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

    In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.

  2. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

  3. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …

  4. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …

  5. Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

  6. Anne-Marie Mineur; Paul Buitelaar

    A Compositional Treatment of Polysemous Arguments in Categorial Grammar

    CLAUS-Report, Universität des Saarlandes, Vol. 49, 1/1995.

  7. Anne-Marie Mineur; Paul Buitelaar

    A Compositional Treatment of Polysemous Arguments in Categorial Grammar

    In: Kees van Deemter; Stanley Peters (Hrsg.). Semantic Ambiguity and Underspecification. CSLI Publications, Stanford, 1995.

  8. Hans-Ulrich Krieger; Ulrich Schäfer

    Efficient Parameterizable Type Expansion for Typed Feature Formalisms

    DFKI, DFKI Research Reports (RR), Vol. 95-18, 1995.

  9. Hans-Ulrich Krieger; Ulrich Schäfer

    Efficient Parameterizable Type Expansion for Typed Feature Formalisms

    In: 14th International Joint Conference on Artificial Intelligence (IJCAI '95), August 20-25. International Joint Conference on Artificial …

  10. Hans-Ulrich Krieger

    Typed Feature Structures, Definite Equivalences, Greatest Model Semantics, and Nonmonotonicity

    DFKI, DFKI Research Reports (RR), Vol. 95-20, 1995.