Franz Baader

	2012
199		Franz Baader, Alexander Okhotin: Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. LPAR 2012: 107-121
	2011
198		Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska: Unification in the Description Logic EL without the Top Concept. CADE 2011: 70-84
197		Franz Baader, Rafael Peñaloza: GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics 2011
196		Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska: Unification in the Description Logic EL without the Top Concept. Description Logics 2011
195		Franz Baader, Rafael Peñaloza: Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE 2011: 1735-1742
194		Franz Baader, Rafael Peñaloza: On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. FroCos 2011: 55-70
193		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems CoRR abs/1106.1802: (2011)
192		Franz Baader: What's new in Description Logics. Informatik Spektrum 34(5): 434-442 (2011)
191		Franz Baader, Silvio Ghilardi: Unification in modal and description logics. Logic Journal of the IGPL 19(6): 705-730 (2011)
	2010
190		Franz Baader, Hongkai Liu, Anees ul Mehdi: Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI 2010: 53-58
189		Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query and Predicate Emptiness in Description Logics. KR 2010
188		Franz Baader, Marcel Lippmann, Hongkai Liu: Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. LPAR (Yogyakarta) 2010: 82-96
187		Franz Baader, Barbara Morawska: SAT Encoding of Unification in EL. LPAR (Yogyakarta) 2010: 97-111
186		Franz Baader, Bernhard Beckert, Tobias Nipkow: Deduktion: von der Theorie zur Anwendung. Informatik Spektrum 33(5): 444-451 (2010)
185		Franz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. J. Autom. Reasoning 45(2): 91-129 (2010)
184		Franz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. J. Log. Comput. 20(1): 5-34 (2010)
183		Franz Baader, Carsten Lutz, Anni-Yasmin Turhan: Small is Again Beautiful in Description Logics. KI 24(1): 25-33 (2010)
182		Franz Baader, Barbara Morawska: Unification in the Description Logic EL Logical Methods in Computer Science 6(3): (2010)
	2009
181		Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009
180		Franz Baader, Barbara Morawska: Unification in the Description Logic EL. Description Logics 2009
179		Franz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCos 2009: 149-164
178		Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCos 2009: 214-229
177		Franz Baader, Baris Sertkaya: Usability Issues in Description Logic Knowledge Base Completion. ICFCA 2009: 1-21
176		Franz Baader, Felix Distel: Exploring Finite Models in the Description Logic . ICFCA 2009: 146-161
175		Franz 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
174		Franz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
173		Franz Baader, Barbara Morawska: Unification in the Description Logic EL. RTA 2009: 350-364
172		Franz Baader: Description Logics. Reasoning Web 2009: 1-39
171		Franz 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
170		Franz 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
169		Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008
168		Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. Description Logics 2008
167		Franz Baader, Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61
166		Franz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241
165		Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. KR 2008: 684-694
164		Franz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008
163		Franz Baader, Jan Hladik, Rafael Peñaloza: Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)
	2007
162		Franz 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
161		Franz Baader: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings Springer 2007
160		Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291
159		Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007
158		Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007
157		Franz Baader, Jan Hladik, Rafael Peñaloza: Blocking Automata for PSPACE DLs. Description Logics 2007
156		Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007
155		Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235
154		Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67
153		Franz Baader, Jan Hladik, Rafael Peñaloza: SI! Automata Can Show PSPACE Results for Description Logics. LATA 2007: 67-78
152		Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806
151		Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007
150		Franz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27
149		Franz 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)
148		Franz Baader: Preface to Special Issue on Reasoning in Description Logics. J. Autom. Reasoning 39(3): 245-247 (2007)
147		Franz Baader, Silvio Ghilardi: Connecting many-sorted theories. J. Symb. Log. 72(2): 535-583 (2007)
	2006
146		Franz 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
145		Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006
144		Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291
143		Carsten 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
142		Franz 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
141		Franz Baader, Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings Springer 2005
140		Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
139		Franz Baader, Silvio Ghilardi: Connecting Many-Sorted Theories. CADE 2005: 278-294
138		Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005
137		Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005
136		Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen: A new n-ary existential quantifier in description logics. Description Logics 2005
135		Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
134		Franz Baader, Silvio Ghilardi: Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCos 2005: 31-47
133		Franz Baader, Sebastian Brandt, Carsten Lutz: Pushing the EL Envelope. IJCAI 2005: 364-369
132		Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen: A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33
131		Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
130		Franz Baader: 19th International Conference on Automated Deduction (CADE-19). Inf. Comput. 199(1-2): 1-2 (2005)
	2004
129		Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics 2004
128		Franz Baader, Baris Sertkaya: Applying Formal Concept Analysis to Description Logics. ICFCA 2004: 261-286
127		Franz 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
126		Franz Baader: Engineering of Logics for the Content-Based Representation of Information. JELIA 2004: 2-3
125		Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004: 400-412
124		Franz Baader: A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. WG 2004: 177-188
123		Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28
122		Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR abs/cs/0412101: (2004)
	2003
121		Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 2003
120		Franz Baader: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings Springer 2003
119		Franz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261
118		Franz Baader, Werner Nutt: Basic Description Logics. Description Logic Handbook 2003: 43-95
117		Franz Baader: Description Logic Terminology. Description Logic Handbook 2003: 485-495
116		Franz Baader: Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Description Logics 2003
115		Franz Baader: Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. ICCS 2003: 117-130
114		Franz Baader: Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI 2003: 319-324
113		Franz Baader: Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI 2003: 325-330
112		Franz 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
111		Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
110		Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
109		Franz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)
	2002
108		Franz Baader, Anni-Yasmin Turhan: On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113
107		Franz Baader: Engineering of Logics for the Content-Based Representation of Information. RTA 2002: 23
106		Franz Baader, Cesare Tinelli: Combining Decision Procedures for Positive Theories Sharing Constructors. RTA 2002: 352-366
105		Franz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. 178(2): 346-390 (2002)
104		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. J. Artif. Intell. Res. (JAIR) 16: 1-58 (2002)
103		Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)
	2001
102		Franz 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
101		Franz Baader, Anni-Yasmin Turhan: TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics 2001
100		Franz Baader, Ralf Küsters: Unification in a Description Logic with Transitive Closure of Roles. Description Logics 2001
99		Franz Baader, Sebastian Brandt, Ralf Küsters: Matching under Side Conditions in Description Logics. IJCAI 2001: 213-218
98		Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106
97		Franz Baader, Ralf Küsters: Unification in a Description Logic with Transitive Closure of Roles. LPAR 2001: 217-232
96		Franz Baader, Wayne Snyder: Unification Theory. Handbook of Automated Reasoning 2001: 445-532
95		Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache: Heterogeneous information resources need semantic access. Data Knowl. Eng. 36(3): 211-213 (2001)
94		Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. J. Symb. Comput. 31(3): 277-305 (2001)
93		Franz Baader, Ulrike Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1): 5-40 (2001)
	2000
92		Franz Baader, Ulrike Sattler: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 CEUR-WS.org 2000
91		Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30
90		Franz Baader, Cesare Tinelli: Combining Equational Theories Sharing Non-Collapse-Free Constructors. FroCos 2000: 260-274
89		Franz Baader, Ralf Molitor: Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. ICCS 2000: 292-305
88		Franz Baader, Ralf Küsters: Matching Concept Descriptions with Existential Restrictions. KR 2000: 261-272
87		Franz Baader, Ralf Küsters, Ralf Molitor: Rewriting Concepts Using Terminologies. KR 2000: 297-308
86		Franz Baader: Tableau Algorithms for Description Logics. TABLEAUX 2000: 1-18
	1999
85		Franz Baader, Klaus U. Schulz: Combining Constraint Solving. CCL 1999: 104-158
84		Franz Baader, Ralf Küsters: Matching in Description Logics with Existential Restrictions. Description Logics 1999
83		Franz Baader, Ralf Molitor: Rewriting in Description Logics Using Terminologies. Description Logics 1999
82		Franz Baader, Ralf Molitor, Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493
81		Franz Baader, Ralf Küsters, Ralf Molitor: Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI 1999: 96-103
80		Franz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA 1999: 175-189
79		Franz Baader: Logic-Based Knowledge Representation. Artificial Intelligence Today 1999: 13-41
78		Franz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)
77		Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics. J. Log. Comput. 9(3): 411-447 (1999)
	1998
76		Franz Baader, Tobias Nipkow: Term rewriting and all that. Cambridge University Press 1998: I-XII, 1-301
75		Franz Baader, Ralf Küsters: Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. Description Logics 1998
74		Franz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. Description Logics 1998
73		Franz Baader, Ralf Küsters, Ralf Molitor: Structural Subsumption Considered from an Automata-Theoretic Point of View. Description Logics 1998
72		Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. ECAI 1998: 331-335
71		Franz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340
70		Franz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. ICCS 1998: 15-34
69		Franz 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
68		Franz Baader: On the Complexity of Boolean Unification. Inf. Process. Lett. 67(4): 215-220 (1998)
67		Franz Baader, Klaus U. Schulz: Combination of Constraint Solvers for Free and Quasi-Free Structures. Theor. Comput. Sci. 192(1): 107-161 (1998)
	1997
66		Franz 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
65		Franz 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
64		Franz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997
63		Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. Description Logics 1997
62		Franz Baader: Combination of Compatible Reduction Orderings that are Total on Ground Terms. LICS 1997: 2-13
61		Franz 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
60		Franz 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
59		Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14
58		Franz Baader, Ulrike Sattler: Knowledge Representation in Process Engineering. Description Logics 1996: 74-78
57		Franz Baader, Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287
56		Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339
55		Franz Baader: Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Ann. Math. Artif. Intell. 18(2-4): 175-219 (1996)
54		Franz Baader, Werner Nutt: Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Appl. Algebra Eng. Commun. Comput. 7(4): 309-337 (1996)
53		Franz Baader, Martin Buchheit, Bernhard Hollunder: Cardinality Restrictions on Concepts. Artif. Intell. 88(1-2): 195-213 (1996)
52		Franz Baader: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. 6(1): 33-54 (1996)
51		Franz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symb. Comput. 21(2): 211-243 (1996)
50		Franz Baader: Logik-basierte Wissensrepräsentation. KI 10(3): 8-16 (1996)
	1995
49		Franz 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
48		Franz Baader, Klaus U. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP 1995: 380-397
47		Franz Baader, Armin Laux: Terminological Logics with Modal Operators. IJCAI (1) 1995: 808-815
46		Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Overview: KRDB'95. KRDB 1995
45		Franz Baader, Klaus U. Schulz: Combination of Constraint Solving Techniques: An Algebraic POint of View. RTA 1995: 352-366
44		Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1): 149-180 (1995)
43		Franz 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)
42		Franz Baader, Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5(2): (1995)
41		Franz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. Theor. Comput. Sci. 142(2): 229-255 (1995)
	1994
40		Franz 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
39		Franz Baader, Martin Buchheit, Bernhard Hollunder: Cardinality Restrictions on Concepts. KI 1994: 51-62
38		Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB 1994
37		Franz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
36		Franz 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
35		Franz Baader, Karl Schlechta: A Semantics for Open Normal Defaults via a Modified Preferential Approach. ECSQARU 1993: 9-16
34		Franz Baader, Bernhard Hollunder: How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI 1993: 669-675
33		Franz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. RTA 1993: 301-315
32		Franz Baader: Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. J. ACM 40(3): 477-503 (1993)
31		Franz 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
30		Franz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992: 50-65
29		Franz Baader, Werner Nutt: Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992: 1-5
28		Franz Baader, Bernhard Hollunder: Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning 1992: 30-52
27		Franz Baader, Philipp Hanschke: Extensions of Concept Languages for a Mechanical Engineering Application. GWAI 1992: 132-143
26		Franz 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
25		Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. KR 1992: 306-317
24		Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt: Terminologische Logiken. KI 6(3): 23-33 (1992)
	1991
23		Franz Baader: Cyclic, Transitive, and Concrete Extensions of Concept Languages. Description Logics 1991: 12-16
22		Franz 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
21		Franz Baader: Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI 1991: 446-451
20		Franz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457
19		Franz Baader, Klaus U. Schulz: General A- and AX-Unification via Optimized. IWWERT 1991: 23-42
18		Bernhard Hollunder, Franz Baader: Qualifying Number Restrictions in Concept Languages. KR 1991: 335-346
17		Franz Baader, Bernhard Hollunder: A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK 1991: 67-86
16		Franz Baader, Werner Nutt: Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991: 124-135
15		Franz Baader: Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. RTA 1991: 86-97
14		Franz Baader, Alfred Kobsa, Hans-Jürgen Profitlich: AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. KI 5(3): 24-25 (1991)
13		Franz Baader, Bernhard Hollunder: KRIS: Knowledge Representation and Inference System. SIGART Bulletin 2(3): 8-14 (1991)
	1990
12		Franz Baader: Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990: 621-626
11		Franz Baader: Rewrite Systems for Varieties of Semigroups. CADE 1990: 396-410
10		Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka: Tutorial on Reasoning and Representation with Concept Languages. CADE 1990: 681
9		Franz Baader: A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI 1990: 53-58
8		Franz Baader: Unification Theory. IWWERT 1990: 151-170
7		Franz Baader: Unification in Varieties of Completely Regular Semigroups. IWWERT 1990: 210-230
	1989
6		Franz Baader: Unification Properties of Commutative Theories: A Categorical Treatment. Category Theory and Computer Science 1989: 273-299
5		Franz Baader: Characterization of Unification Type Zero. RTA 1989: 2-14
4		Franz Baader: Unification in Commutative Theories. J. Symb. Comput. 8(5): 479-497 (1989)
	1988
3		Franz Baader: A Note on Unification Type Zero. Inf. Process. Lett. 27(2): 91-93 (1988)
2		Franz Baader, Wolfram Büttner: Unification in Commutative Idempotent Monoids. Theor. Comput. Sci. 56: 345-353 (1988)
	1986
1		Franz Baader: The Theory of Idempotent Semigroups is of Unification Type Zero. J. Autom. Reasoning 2(3): 283-286 (1986)

Coauthor Index

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

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page