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 51 bis 60 von 80
  1. Thierry Declerck; Paul Schmidt; Sibylle Rieder; Axel Theofilidis

    Lean Formalism, Linguistic Theory, and Applications. Grammar Development in ALEP

    In: Proceedings of the 16th International Conference on Computational Linguistics (COLING'96), August 5-9. International Conference on Computational …

  2. Thierry Declerck

    Modeling Information-Passing within the LFG-Workbench

    In: Proceedings of the 1st Annual Lexical-Functional Grammar Conference. International Lexical Functional Grammar Conference (LFG), Grenoble, France, …

  3. Thierry Declerck

    Dealing with Cross-Sentential Anaphora Resolution in ALEP

    In: Proceedings of the 16th International Conference on Computational Linguistics (COLING'96), August 5-9. International Conference on Computational …

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

    On Skolemization in Constrained Logics

    In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.

  5. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

    Mastersthesis, TH-Darmstadt, Germany, 12/1996.

  6. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …

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

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …

  8. Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Proceedings of the Workshop on Knowledge Representation and Configuration

    Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.

  9. Hans-Jürgen Bürckert; Werner Nutt; Christian Seel

    The Role of Formal Knowledge Representation in Configuration

    In: Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.). Proceedings of the Workshop on Knowledge Representation and Configuration. Workshop on …