Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1994
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 105.

  1. Hans-Jürgen Bürckert; Bernhard Nebel

    Managing Qualitative Temporal Information: Expressiveness vs. Complexity

    In: Kai von Luck; Heinz Marburger (Hrsg.). Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop "Information Systems and Artificial Intelligence". Workshop on Information Systems and Artificial Intelligence, 3rd, February 28 - March 2, Hamburg, Germany, Pages 104-117, Lecture Notes in Computer Science (LNCS), Vol. 777, Springer, 1994.

  2. Hans-Jürgen Bürckert

    Terminologies and Rules

    In: Kai von Luck; Heinz Marburger (Hrsg.). Proceedings of 3rd Workshop on Information Systems and Artificial Intelligence: Management and Processing of Complex Data Structures. Workshop on Information Systems and Artificial Intelligence, 3rd, February 28 - March 2, Hamburg, Germany, Pages 44-63, Lecture Notes In Computer Science (LNCS), Vol. 777, ISBN 3-540-57802-1, Springer, London, 1994.

  3. Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux

    Terminological Reasoning with Knowledge and Beliefs. Extended Abstract.

    In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI), 18th, September 18-23, Saarbrücken, Germany, Pages 127-128, Lecture Notes in Artificial Intelligence (LNAI), Vol. 861, ISBN 3-540-58467-6, Springer, 1994.

  4. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  5. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  6. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

  7. Klaus Netter; Robert Kasper; Bernd Kiefer; Vijay K. Shanker

    HPSG and TAG

    In: Proceedings of the 3eme Colloque International sur les Grammaires d'Arbres Adjoints. Colloque International sur les Grammaires d'Arbres Adjoints (TAG+-3), 3. Paris, France, Pages 77-82, Technical Report (TAG+3) Rapport TALANA, No. RT-94-01, 1994.

  8. Günter Neumann

    A Uniform Computational Model for Natural Language Parsing and Generation. Saarbruecken Dissertations in Computational Linguistics and Language Technology. Vol. 1

    PhD-Thesis, Universität des Saarlandes, Computational Linguistics, 1994.

  9. Günter Neumann

    Application of Explanation-Based Learning for Efficient Processing of Constraint-Based Grammars

    In: Proceedings of the 10th IEEE Conference on Artificial Intelligence for Applications, March 1-4. IEEE Conference on Artificial Intelligence for Applications, 10th, March 1-4, San Antonio, TX, USA, Pages 208-215, 1994.

  10. John Nerbonne; Carl J. Pollard; Klaus Netter (Hrsg.)

    German in Head-Driven Phrase Structure Grammar

    Lecture Notes Series, Vol. 46, CSLI Publications, Stanford, 1994.

Jahr