Anzeige von nach Personenindex Nutt, Werner

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 1 bis 19 von 19
ErscheinungsjahrTitelAutor(en)
1990Adding homomorphisms to commutative/monoidal theories or : how algebra can help in equational unificationBaader, Franz; Nutt, Werner
1995The complexity of concept languagesDonini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele, u.a.
1991The complexity of existential quantification in concept languagesDonini, Francesco M.; Hollunder, Bernhard; Lenzerini, Maurizio, u.a.
1990Concept logicsBaader, Franz; Bürckert, Hans-Jürgen; Hollunder, Bernhard, u.a.
1995Constructive problem solving : a model construction approach towards configurationBuchheit, Martin; Klein, Rüdiger; Nutt, Werner
1994International Workshop on Description Logics : Bonn, May 28/29, 1994-
1993Modeling epistemic propositions-
1992On abduction and answer generation through constrained resolutionBürckert, Hans-Jürgen; Nutt, Werner
1991On the expressivity of feature logics with negation, functional uncertainty, and sort equationsBaader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard, u.a.
1996Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96-
1993Queries, rules and definitions as epistemic statements in concept languagesDonini, Francesco M.; Lenzerini, Maurizio; Nardi, Daniele, u.a.
1995A refined architecture for terminological systems : terminology = schema + viewsBuchheit, Martin; Donini, Francesco M.; Nutt, Werner, u.a.
1990Subsumption algorithms for concept languagesHollunder, Bernhard; Nutt, Werner
1993Subsumption between queries to object-oriented databasesBuchheit, Martin; Jeusfeld, Manfred A.; Nutt, Werner, u.a.
1995Task acquisition with a description logic reasonerBuchheit, Martin; Bürckert, Hans-Jürgen; Hollunder, Bernhard, u.a.
1990Terminological knowledge representation : a proposal for a terminological logicBaader, Franz; Bürckert, Hans-Jürgen; Heinsohn, Jochen, u.a.
1992Unification in monoidal theories is solving linear equations over semiringsNutt, Werner
1994Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; Saarbrücken, September 20-22, 1994Baader, Franz; Buchheit, Martin; Jeusfeld, Manfred A., u.a.
1995Working notes of the KI'95 Workshop : KRDB-95 - Reasoning about structured objects : knowledge representation meets databases ; Bielefeld, Germany, Sept. 11-12, 1995Baader, Franz; Buchheit, Martin; Jeusfeld, Manfred A., u.a.