Browsing by Index of Persons Nutt, Werner

Jump to: 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
or enter first few letters:  
Showing results 1 to 19 of 19
Year of PublicationTitleAuthor(s)Open Access
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, et al
1991The complexity of existential quantification in concept languagesDonini, Francesco M.; Hollunder, Bernhard; Lenzerini, Maurizio, et al
1990Concept logicsBaader, Franz; Bürckert, Hans-Jürgen; Hollunder, Bernhard, et al
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, et al
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, et al
1995A refined architecture for terminological systems : terminology = schema + viewsBuchheit, Martin; Donini, Francesco M.; Nutt, Werner, et al
1990Subsumption algorithms for concept languagesHollunder, Bernhard; Nutt, Werner
1993Subsumption between queries to object-oriented databasesBuchheit, Martin; Jeusfeld, Manfred A.; Nutt, Werner, et al
1995Task acquisition with a description logic reasonerBuchheit, Martin; Bürckert, Hans-Jürgen; Hollunder, Bernhard, et al
1990Terminological knowledge representation : a proposal for a terminological logicBaader, Franz; Bürckert, Hans-Jürgen; Heinsohn, Jochen, et al
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., et al
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., et al