Franz Baader Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Barbara Morawska: Unification in the Description Logic EL. Description Logics 2009
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCos 2009: 149-164
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCos 2009: 214-229
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Baris Sertkaya: Usability Issues in Description Logic Knowledge Base Completion. ICFCA 2009: 1-21
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Felix Distel: Exploring Finite Models in the Description Logic . ICFCA 2009: 146-161
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Knechtel, Rafael Peñaloza: A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. International Semantic Web Conference 2009: 49-64
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Barbara Morawska: Unification in the Description Logic EL. RTA 2009: 350-364
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Description Logics. Reasoning Web 2009: 1-39
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter: A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92
2008
167no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Boris Motik: Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 CEUR-WS.org 2008
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. Description Logics 2008
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241
162no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. KR 2008: 684-694
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jan Hladik, Rafael Peñaloza: Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)
2007
159no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: Deduction and Decision Procedures, 30.09. - 05.10.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
158no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings Springer 2007
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jan Hladik, Rafael Peñaloza: Blocking Automata for PSPACE DLs. Description Logics 2007
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schulz, Boontawee Suntisrivaraporn, Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the least common subsumer w.r.t. a background terminology. J. Applied Logic 5(3): 392-420 (2007)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Preface to Special Issue on Reasoning in Description Logics. J. Autom. Reasoning 39(3): 245-247 (2007)
2006
145no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: Deduction and Applications, 23.-28. October 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Silvio Ghilardi, Cesare Tinelli: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. 204(10): 1413-1452 (2006)
2005
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Springer 2005
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Silvio Ghilardi: Connecting Many-Sorted Theories. CADE 2005: 278-294
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen: A new n-ary existential quantifier in description logics. Description Logics 2005
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Silvio Ghilardi: Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCos 2005: 31-47
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Sebastian Brandt, Carsten Lutz: Pushing the EL Envelope. IJCAI 2005: 364-369
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen: A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: 19th International Conference on Automated Deduction (CADE-19). Inf. Comput. 199(1-2): 1-2 (2005)
2004
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics 2004
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Baris Sertkaya: Applying Formal Concept Analysis to Description Logics. ICFCA 2004: 261-286
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Silvio Ghilardi, Cesare Tinelli: A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. IJCAR 2004: 183-197
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Engineering of Logics for the Content-Based Representation of Information. JELIA 2004: 2-3
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004: 400-412
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. WG 2004: 177-188
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR abs/cs/0412101: (2004)
2003
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 2003
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings Springer 2003
118no 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
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Werner Nutt: Basic Description Logics. Description Logic Handbook 2003: 43-95
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Description Logic Terminology. Description Logic Handbook 2003: 485-495
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Description Logics 2003
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. ICCS 2003: 117-130
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI 2003: 319-324
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI 2003: 325-330
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. KI 2003: 64-78
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)
2002
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Anni-Yasmin Turhan: On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Engineering of Logics for the Content-Based Representation of Information. RTA 2002: 23
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Cesare Tinelli: Combining Decision Procedures for Positive Theories Sharing Constructors. RTA 2002: 352-366
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. 178(2): 346-390 (2002)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002)
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)
2001
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Gerhard Brewka, Thomas Eiter: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings Springer 2001
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Anni-Yasmin Turhan: TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics 2001
99Electronic 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
98no 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, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106
96Electronic 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
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Wayne Snyder: Unification Theory. Handbook of Automated Reasoning 2001: 445-532
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache: Heterogeneous information resources need semantic access. Data Knowl. Eng. 36(3): 211-213 (2001)
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. J. Symb. Comput. 31(3): 277-305 (2001)
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1): 5-40 (2001)
2000
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 CEUR-WS.org 2000
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Cesare Tinelli: Combining Equational Theories Sharing Non-Collapse-Free Constructors. FroCos 2000: 260-274
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Molitor: Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. ICCS 2000: 292-305
87no 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
86no 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
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Tableau Algorithms for Description Logics. TABLEAUX 2000: 1-18
1999
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Combining Constraint Solving. CCL 1999: 104-158
83Electronic 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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Molitor: Rewriting in Description Logics Using Terminologies. Description Logics 1999
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ralf Molitor, Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493
80no 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA 1999: 175-189
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Logic-Based Knowledge Representation. Artificial Intelligence Today 1999: 13-41
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)
76Electronic 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)
1998
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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. 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
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. ECAI 1998: 331-335
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. ICCS 1998: 15-34
69no EE 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: On the Complexity of Boolean Unification. Inf. Process. Lett. 67(4): 215-220 (1998)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Combination of Constraint Solvers for Free and Quasi-Free Structures. Theor. Comput. Sci. 192(1): 107-161 (1998)
1997
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Manfred A. Jeusfeld, Werner Nutt: Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997 CEUR-WS.org 1997
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Cesare Tinelli: A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. CADE 1997: 19-33
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. Description Logics 1997
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Combination of Compatible Reduction Orderings that are Total on Ground Terms. LICS 1997: 2-13
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Manfred A. Jeusfeld, Werner Nutt: Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. SIGMOD Record 26(4): 44-48 (1997)
1996
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996 CEUR-WS.org 1996
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Knowledge Representation in Process Engineering. Description Logics 1996: 74-78
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Ann. Math. Artif. Intell. 18(2-4): 175-219 (1996)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Werner Nutt: Combination Problens for Commutative/Modoidal Theories or How Algebra Can Help in Equational Unification. Appl. Algebra Eng. Commun. Comput. 7(4): 309-337 (1996)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Bernhard Hollunder: Cardinality Restrictions on Concepts. Artif. Intell. 88(1-2): 195-213 (1996)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. 6(1): 33-54 (1996)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symb. Comput. 21(2): 211-243 (1996)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Logik-basierte Wissensrepräsentation. KI 10(3): 8-16 (1996)
1995
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 CEUR-WS.org 1995
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP 1995: 380-397
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Armin Laux: Terminological Logics with Modal Operators. IJCAI (1) 1995: 808-815
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Overview: KRDB'95. KRDB 1995
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Combination of Constraint Solving Techniques: An Algebraic POint of View. RTA 1995: 352-366
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1): 149-180 (1995)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. J. Autom. Reasoning 15(1): 41-68 (1995)
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5(2): (1995)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. Theor. Comput. Sci. 142(2): 229-255 (1995)
1994
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 CEUR-WS.org 1994
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Bernhard Hollunder: Cardinality Restrictions on Concepts. KI 1994: 51-62
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB 1994
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: Am empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2): 109-132 (1994)
1993
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Karl Schlechta: A Semantics for Open Normal Defaults via a Modified Preferential Approach. ECSQARU 1993: 9-16
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI 1993: 669-675
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. RTA 1993: 301-315
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. J. ACM 40(3): 477-503 (1993)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt: ``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht. KI 7(3): 24-25 (1993)
1992
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992: 50-65
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Werner Nutt: Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992: 1-5
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning 1992: 30-52
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Philipp Hanschke: Extensions of Concept Languages for a Mechanical Engineering Application. GWAI 1992: 132-143
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On. KR 1992: 270-281
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. KR 1992: 306-317
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt: Terminologische Logiken. KI 6(3): 23-33 (1992)
1991
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Cyclic, Transitive, and Concrete Extensions of Concept Languages. Description Logics 1991: 12-16
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics 1991: 120-128
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI 1991: 446-451
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Klaus U. Schulz: General A- and AX-Unification via Optimized. IWWERT 1991: 23-42
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Hollunder, Franz Baader: Qualifying Number Restrictions in Concept Languages. KR 1991: 335-346
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK 1991: 67-86
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Werner Nutt: Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991: 124-135
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. RTA 1991: 86-97
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Alfred Kobsa, Hans-Jürgen Profitlich: AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. KI 5(3): 24-25 (1991)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Hollunder: KRIS: Knowledge Representation and Inference System. SIGART Bulletin 2(3): 8-14 (1991)
1990
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990: 621-626
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Rewrite Systems for Varieties of Semigroups. CADE 1990: 396-410
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka: Tutorial on Reasoning and Representation with Concept Languages. CADE 1990: 681
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI 1990: 53-58
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Unification Theory. IWWERT 1990: 151-170
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Unification in Varieties of Completely Regular Semigroups. IWWERT 1990: 210-230
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Unification Properties of Commutative Theories: A Categorical Treatment. Category Theory and Computer Science 1989: 273-299
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Characterization of Unification Type Zero. RTA 1989: 2-14
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: Unification in Commutative Theories. J. Symb. Comput. 8(5): 479-497 (1989)
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: A Note on Unification Type Zero. Inf. Process. Lett. 27(2): 91-93 (1988)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Wolfram Büttner: Unification in Commutative Idempotent Monoids. Theor. Comput. Sci. 56: 345-353 (1988)
1986
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader: The Theory of Idempotent Semigroups is of Unification Type Zero. J. Autom. Reasoning 2(3): 283-286 (1986)

Coauthor Index

1Andreas Bauer [168] [171] [176]
2Peter Baumgartner [136] [137] [145] [168]
3Meghyn Bienvenu [178]
4Alexander Borgida [70] [74] [76]
5Sebastian Brandt [98] [132]
6Gerhard Brewka [101]
7Martin Buchheit [38] [39] [40] [46] [49] [53] [60]
8Hans-Jürgen Bürckert [22] [24]
9Wolfram Büttner [2]
10Diego Calvanese [120]
11Byron Cook [155] [156] [159]
12Anne Cregan [168]
13Felix Distel [164] [173]
14Conrad Drescher [175]
15Thomas Eiter [101]
16Dieter Fensel [94]
17Enrico Franconi [26] [36] [142]
18Alfredo Gabaldon [168]
19Bernhard Ganter [149] [152]
20Silvio Ghilardi [126] [133] [138] [141] [162] [165]
21Jürgen Giesl [155] [156] [159]
22Steffen Guhlemann [175]
23Philipp Hanschke [20] [27] [31]
24Jochen Heinsohn [22]
25Jan Hladik [109] [110] [154] [160]
26Bernhard Hollunder [13] [17] [18] [22] [24] [25] [26] [28] [31] [34] [36] [39] [43] [44] [53]
27Ian Horrocks [102] [122] [130]
28Manfred A. Jeusfeld [38] [40] [46] [49] [60] [61] [66]
29Krystian Ji [168]
30Eldar Karabaev [131] [135]
31Martin Knechtel [172]
32Alfred Kobsa [14]
33Ralf Küsters [69] [73] [75] [76] [80] [83] [86] [87] [96] [98] [99] [118]
34Armin Laux [24] [47]
35Kevin Lee [168]
36Domenico Lembo [142]
37Marcel Lippmann [176]
38Hongkai Liu [175]
39Carsten Lutz [90] [103] [109] [110] [131] [132] [134] [135] [139] [142] [143] [144] [162] [165] [167] [178]
40Deborah L. McGuinness [70] [74] [76] [120]
41Maja Milicic [134] [139]
42Ralf Molitor [73] [80] [81] [82] [86] [88]
43Ralf Möller [142]
44Barbara Morawska [170] [177]
45Boris Motik [167]
46Jürgen Müller [10] [22]
47Daniele Nardi [120]
48Paliath Narendran [63] [72] [93]
49Bernhard Nebel [10] [22] [26] [31] [36]
50Robert Nieuwenhuis [136] [137] [145] [155] [156] [159]
51Novak Novakovik [166]
52Werner Nutt [10] [16] [22] [24] [29] [31] [38] [40] [46] [49] [54] [60] [61] [66] [117]
53Hans Jürgen Ohlbach [42]
54Peter F. Patel-Schneider [120]
55Rafael Peñaloza [148] [151] [153] [154] [160] [163] [172]
56Uwe Petersohn [175]
57Hans-Jürgen Profitlich [14] [22] [26] [36]
58David Rajaratnam [168]
59Riccardo Rosati [142]
60Marie-Christine Rousset [94]
61Ulrike Sattler [56] [57] [58] [59] [64] [71] [77] [91] [92] [102] [108] [122] [130] [134] [139] [142] [149] [152]
62Karl Schlechta [35]
63Klaus U. Schulz [19] [30] [33] [41] [45] [48] [51] [67] [84]
64Stefan Schulz [150] [157]
65Rolf Schwitter [168]
66Baris Sertkaya [124] [127] [128] [147] [149] [152] [174]
67Jörg H. Siekmann [37]
68Gert Smolka [10]
69Wayne Snyder [95]
70Kent A. Spackman [157]
71Peter Steinke [175]
72Holger Sturm [90] [103]
73Boontawee Suntisrivaraporn [142] [143] [144] [150] [151] [153] [157] [161] [166]
74Sergio Tessaris [142]
75Manfred Theißen [131] [135]
76Michael Thielscher [175]
77Cesare Tinelli [65] [79] [89] [104] [105] [126] [141]
78Alwen Tiu (Alwen Fernanto Tiu) [171]
79Stephan Tobies [81] [97] [121]
80Anni-Yasmin Turhan [100] [107] [124] [128] [147]
81Andrei Voronkov [136] [137] [140] [145]
82Holger Wache [94]
83Frank Wolter [90] [103] [109] [110] [118] [134] [139] [178]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)