dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Franz Baader (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters: Unification in a Description Logic with Transitive Closure of Roles. Description Logics 2001
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Sebastian Brandt, Ralf Küsters: Matching under Side Conditions in Description Logics. IJCAI 2001: 213-218
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters: Unification in a Description Logic with Transitive Closure of Roles. LPAR 2001: 217-232
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters: Matching Concept Descriptions with Existential Restrictions. KR 2000: 261-272
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters, Ralf Molitor: Rewriting Concepts Using Terminologies. KR 2000: 297-308
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters: Matching in Description Logics with Existential Restrictions. Description Logics 1999
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters, Ralf Molitor: Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI 1999: 96-103
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics. J. Log. Comput. 9(3): 411-447 (1999)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters: Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. Description Logics 1998
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters, Ralf Molitor: Structural Subsumption Considered from an Automata-Theoretic Point of View. Description Logics 1998
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Küsters: Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions. KI 1998: 129-140

Selection of 12 from 207 records - Franz Baader has 93 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page