Browsing by Index of Persons Hollunder, Bernhard

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 17 of 17
Year of PublicationTitleAuthor(s)Open Access
1993An alternative proof method for possibilistic logic and its application to terminological logicsHollunder, Bernhard
1993Cardinality restrictions on conceptsBaader, Franz; Buchheit, Martin; Hollunder, Bernhard
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
1993Concept logics with function symbolsBürckert, Hans-Jürgen; Hollunder, Bernhard; Laux, Armin
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
1992How to prefer more specific defaults in terminological default logicBaader, Franz; Hollunder, Bernhard
1990Hybrid inferences in KL-ONE-based knowledge representation systemsHollunder, Bernhard
1991KRIS : knowledge representation and inference system - Benutzerhandbuch -Achilles, Erich; Hollunder, Bernhard; Laux, Armin, et al
1990KRIS: knowledge representation and inference system ; system descriptionBaader, Franz; Hollunder, Bernhard
1993On skolemization in constrained logicsBürckert, Hans-Jürgen; Hollunder, Bernhard; Laux, Armin
1992Proceedings / DFKI Workshop on Taxonomic Reasoning : Saarbrücken, February 26, 1992-
1991Qualifying number restrictions in concept languagesHollunder, Bernhard; Baader, Franz
1990Subsumption algorithms for concept languagesHollunder, Bernhard; Nutt, Werner
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