Anzeige von nach Personenindex Baader, Franz

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 20 von 24  nächste
ErscheinungsjahrTitelAutor(en)
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, u.a.
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, u.a.
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, u.a.
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, u.a.
1994Terminological logics with modal operatorsBaader, Franz; Laux, Armin