Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 51 to 60 of 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. Best-First Surface Realization

    In: Donia Scott (Hrsg.). Proceedings of the 8th International Natural Language Generation Workshop (INLG'96), June. International Natural Language …

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

  6. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

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

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

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

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.

  10. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

    13th Conference on Automated Deduction, New Brunswick, USA, 1996.