Browsing by Index of Persons Baader, Franz

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 20 of 24  next >
Year of PublicationTitleAuthor(s)Open Access
1990Adding homomorphisms to commutative/monoidal theories or : how algebra can help in equational unificationBaader, Franz; Nutt, Werner
1990Augmenting concept languages by transitive closure of roles : an alternative to terminological cyclesBaader, Franz
1993Cardinality restrictions on conceptsBaader, Franz; Buchheit, Martin; Hollunder, Bernhard
1993Combination techniques and decision problems for disunificationBaader, Franz; Schulz, Klaus U.
1990Concept logicsBaader, Franz; Bürckert, Hans-Jürgen; Hollunder, Bernhard, et al
1993Embedding defaults into terminological knowledge representation formalismsBaader, Franz; Hollunder, Bernhard
1993An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'Baader, Franz; Hollunder, Bernhard; Nebel, Bernhard, et al
1992Extensions of concept languages for a mechanical engineering applicationBaader, Franz; Hanschke, Philipp
1990A formal definition for the expressive power of knowledge representation languagesBaader, Franz
1992How to prefer more specific defaults in terminological default logicBaader, Franz; Hollunder, Bernhard
1994International Workshop on Description Logics : Bonn, May 28/29, 1994-
1990KRIS: knowledge representation and inference system ; system descriptionBaader, Franz; Hollunder, Bernhard
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-
1991Qualifying number restrictions in concept languagesHollunder, Bernhard; Baader, Franz
1991A scheme for integrating concrete domains into concept languagesBaader, Franz; Hanschke, Philipp
1993A semantics for open normal defaults via a modified preferential approachBaader, Franz; Schlechta, Karl
1990Terminological cycles in KL-ONE-based knowledge representation languagesBaader, Franz
1990Terminological knowledge representation : a proposal for a terminological logicBaader, Franz; Bürckert, Hans-Jürgen; Heinsohn, Jochen, et al
1994Terminological logics with modal operatorsBaader, Franz; Laux, Armin