Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1991
Remove all filters
Displaying results 61 to 70 of 119.

  1. Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

    FEAT-REP: Representing Features in CAD/CAM

    In: IV International Symposium on Artificial Intelligence: Applications in Informatics and International Conference on Manufacturing Automation. International Conference on Manufacturing Automation (ICMA), 1991.

  2. Hans-Jürgen Bürckert

    Constraints and Restricted Quantifiers (Abstract)

    In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, IBFI Dagstuhl, Dagstuhl Seminar-Reports, Vol. 24, 1991.

  3. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.

  4. Hans-Jürgen Bürckert; Jürgen Müller; Achim Schupeta

    RATMAN and its Relation to other Multi-agent Testbeds

    DFKI, DFKI Research Reports (RR), Vol. 91-09, 1991.

  5. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich

    Terminological Knowledge Representation: A Proposal for a Terminological Logic.

    In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 91-13, DFKI GmbH, 1991.

  6. Stephan Busemann

    Using Pattern-Action Rules for the Generation of GPSG Structures from MT-Oriented Semantics

    In: John Mylopoulos; Raymond Reiter (Hrsg.). Proceedings of the 12th International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-91), August 24-30, Sydney, NSW, Australia, Pages 1003-1011, Morgan Kaufmann Publishers, 1991.

  7. Stephan Busemann

    Using Pattern-Action Rules for the Generation of GPSG Structure from Separate Semantic Representations

    DFKI, DFKI Research Reports (RR), Vol. 91-16, 1991.

  8. Stephan Busemann

    Structure-Driven Generation From Seperate Semantic Representations

    In: Proceedings of the 5th Conference of the European Chapter of the ACL. Conference of the European Chapter of the Association for Computational Linguistics (EACL-91), 5th, April 9-11, Berlin, Germany, Pages 113-118, ACL, 1991.

  9. Rolf Backofen; Harald Trost; Hans Uszkoreit

    Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends

    In: W. Brauer; D. Hernandez (Hrsg.). 4th Internationaler GI-Kongress Wissenbasierte Systeme. Verteilte Künstliche Intelligenz und kooperatives Arbeiten. GI-Fachtagungen, 4th, October 23-24, München, Germany, Pages 375-383, Informatik-Fachberichte, Vol. 291, Springer, 1991.

  10. Rolf Backofen; Harald Trost; Hans Uszkoreit

    Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends

    DFKI, DFKI Research Reports (RR), Vol. 91-28, 1991.

Year