Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 1 to 10 of 62.

  1. Jana Koehler

    Correct Modification of Complex Plans

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

  2. Wolfgang Maaß

    From visual perception to multimodal communication: Incremental route descriptions

    In: Artificial Intelligence Review, Vol. 8, No. 5/6, Pages 68-82, Springer, 1994.

  3. Stephan Oepen

    German Nominal Syntax in HPSG - On Syntactic Categories and Syntagmatic Relations -

    DFKI, DFKI Documents (D), Vol. 94-15, 1994.

  4. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

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

  5. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

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

  6. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

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

  7. Gert Smolka

    The Definition of Kernel Oz

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

  8. Christian Schulte; Gert Smolka; Jörg Würtz

    Encapsulated Search and Constraint Programming in Oz

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

  9. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

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

  10. Otto Kühn; Björn Höfling

    Conserving Corporate Knowledge for Crankshaft Design

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

Year