Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 116
  1. Methoden zur intelligenten Informationsextraktion im Internet

    In: Proceedings of the 20th European Congress Fair for Technical Communication ONLINE'97. European Congress Fair for Technical Communication (ONLINE), …

  2. Applying Explanation-Based Learning to Control and Speeding-Up Natural Language Generation

    In: Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and the 8th Conference of the European Chapter of the …

  3. Klaus Netter; Dominique Estival; Alberto Lavelli; Fabio Pianesi (Hrsg.)

    Computational Environments for Grammar Development and Linguistic Engineering (ACL'97 - EACL'97 Workshop), July 7-12

    Conference of the European Chapter of the Association for Computational Linguistics (EACL), Madrid, Spain, 1997.

  4. Sprache ohne Grenzen: Sprache auf dem World Wide Web

    In: Tagungsband der Konferenz "Sprache ohne Grenzen". Konferenz "Sprache ohne Grenzen", München, Germany, Pages 7-14, 1997.

  5. Overview: Formal Tools and Methods

    In: Ronald A. Cole (Hrsg.). Survey of the State of the Art in Human Language Technology. Pages 337-342, Cambridge University Press, Cambridge, 1997.

  6. Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt

    Connection-Based Proof Construction in Linear Logic

    In: William McCune (Hrsg.). 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), …

  7. Heiko Mantel; Enno Sandner

    A Framework for Connection Calculi

    1997.

  8. Equational Proof-Planning by Dynamic Abstraction

    In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …

  9. Parameterized Abstractions used for Proof Planning

    DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.

  10. Susanne Biundo; Werner Stephan

    System Assistance in Structured Domain Model Development

    In: Proceedings 15th International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), …