Franz Baader

Franz Baader, Wolfgang Thomas: Editorial. Informatik Spektrum 35(4): 247-248 (2012)

Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over description logic axioms. ACM Trans. Comput. Log. 13(3): 21 (2012)

Franz Baader, Martin Knechtel, Rafael Peñaloza: Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Sem. 12: 22-40 (2012)

Franz Baader, Stefan Borgwardt, Barbara Morawska: Computing Minimal EL-unifiers is Hard. Advances in Modal Logic 2012: 18-35

Franz Baader, Stefan Borgwardt, Barbara Morawska: A Goal-Oriented Algorithm for Unification in $\mathcal{ELH}_{R+}$ w.r.t. Cycle-Restricted Ontologies. Australasian Conference on Artificial Intelligence 2012: 493-504

Franz Baader, Stefan Borgwardt, Barbara Morawska: SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. IJCAR 2012: 30-44

Franz Baader, Julian Mendez, Barbara Morawska: UEL: Unification Solver for the Description Logic $\mathcal{EL}$ - System Description. IJCAR 2012: 45-51

Franz Baader, Stefan Borgwardt, Barbara Morawska: A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics 2012

Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska: UEL: Unification Solver for EL. Description Logics 2012

Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski: Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Description Logics 2012

Franz Baader, Stefan Borgwardt, Barbara Morawska: Extending Unification in EL Towards General TBoxes. KR 2012

Franz Baader, Alexander Okhotin: Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. LPAR 2012: 107-121

Franz Baader, Silvio Ghilardi: Unification in modal and description logics. Logic Journal of the IGPL 19(6): 705-730 (2011)

Franz Baader: What's new in Description Logics. Informatik Spektrum 34(5): 434-442 (2011)

Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska: Unification in the Description Logic EL without the Top Concept. CADE 2011: 70-84

Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska: Unification in the Description Logic EL without the Top Concept. Description Logics 2011

Franz Baader, Rafael Peñaloza: GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics 2011

Franz Baader, Rafael Peñaloza: On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. FroCoS 2011: 55-70

Franz Baader, Rafael Peñaloza: Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE 2011: 1735-1742

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics and Abstract Description Systems. CoRR abs/1106.1802 (2011)

Franz Baader, Barbara Morawska: Unification in the Description Logic EL. Logical Methods in Computer Science 6(3) (2010)

Franz Baader, Bernhard Beckert, Tobias Nipkow: Deduktion: von der Theorie zur Anwendung. Informatik Spektrum 33(5): 444-451 (2010)

Franz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. J. Autom. Reasoning 45(2): 91-129 (2010)

Franz Baader, Carsten Lutz, Anni-Yasmin Turhan: Small is Again Beautiful in Description Logics. KI 24(1): 25-33 (2010)

Franz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. J. Log. Comput. 20(1): 5-34 (2010)

Franz Baader, Hongkai Liu, Anees ul Mehdi: Verifying Properties of Infinite Sequences of Description Logic Actions. ECAI 2010: 53-58

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query and Predicate Emptiness in Description Logics. KR 2010

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

Franz Baader, Barbara Morawska: SAT Encoding of Unification in EL. LPAR (Yogyakarta) 2010: 97-111

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009

Franz Baader, Barbara Morawska: Unification in the Description Logic EL. Description Logics 2009

Franz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCoS 2009: 149-164

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCoS 2009: 214-229

Franz Baader, Baris Sertkaya: Usability Issues in Description Logic Knowledge Base Completion. ICFCA 2009: 1-21

Franz Baader, Felix Distel: Exploring Finite Models in the Description Logic . ICFCA 2009: 146-161

Franz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116

Franz Baader, Barbara Morawska: Unification in the Description Logic EL. RTA 2009: 350-364

Franz Baader: Description Logics. Reasoning Web 2009: 1-39

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

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

Franz Baader, Jan Hladik, Rafael Peñaloza: Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)

Franz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241

Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. Description Logics 2008

Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008

Franz Baader, Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61

Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. KR 2008: 684-694

Franz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008

Franz Baader, Carsten Lutz, Boris Motik (Eds.): Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353, CEUR-WS.org 2008

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)

Franz Baader: Preface to Special Issue on Reasoning in Description Logics. J. Autom. Reasoning 39(3): 245-247 (2007)

Franz Baader, Silvio Ghilardi: Connecting many-sorted theories. J. Symb. Log. 72(2): 535-583 (2007)

Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291

Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007

Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007

Franz Baader, Jan Hladik, Rafael Peñaloza: Blocking Automata for PSPACE DLs. Description Logics 2007

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007

Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235

Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL⁺. KI 2007: 52-67

Franz Baader, Jan Hladik, Rafael Peñaloza: SI! Automata Can Show PSPACE Results for Description Logics. LATA 2007: 67-78

Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806

Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007

Franz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27

Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (Eds.): Deduction and Decision Procedures, 30.09. - 05.10.2007. Dagstuhl Seminar Proceedings 07401, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Franz Baader (Ed.): Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4533, Springer 2007, isbn 978-3-540-73447-5

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)

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006

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

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov (Eds.): Deduction and Applications, 23.-28. October 2005. Dagstuhl Seminar Proceedings 05431, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Franz Baader: 19th International Conference on Automated Deduction (CADE-19). Inf. Comput. 199(1-2): 1-2 (2005)

Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577

Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248

Franz Baader, Silvio Ghilardi: Connecting Many-Sorted Theories. CADE 2005: 278-294

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005

Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen: A new n-ary existential quantifier in description logics. Description Logics 2005

Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005

Franz Baader, Silvio Ghilardi: Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCoS 2005: 31-47

Franz Baader, Sebastian Brandt, Carsten Lutz: Pushing the EL Envelope. IJCAI 2005: 364-369

Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen: A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33

Franz Baader, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Lecture Notes in Computer Science 3452, Springer 2005, isbn 3-540-25236-3

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

Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics 2004

Franz Baader, Baris Sertkaya: Applying Formal Concept Analysis to Description Logics. ICFCA 2004: 261-286

Franz Baader: Engineering of Logics for the Content-Based Representation of Information. JELIA 2004: 2-3

Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004: 400-412

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

Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28

Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. CoRR abs/cs/0412101 (2004)

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)

Franz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)

Franz Baader: Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Description Logics 2003

Franz Baader, Werner Nutt: Basic Description Logics. Description Logic Handbook 2003: 43-95

Franz Baader, Ralf Küsters, Frank Wolter: Extensions to Description Logics. Description Logic Handbook 2003: 219-261

Franz Baader: Description Logic Terminology. Description Logic Handbook 2003: 485-495

Franz Baader: Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. ICCS 2003: 117-130

Franz Baader: Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. IJCAI 2003: 319-324

Franz Baader: Terminological Cycles in a Description Logic with Existential Restrictions. IJCAI 2003: 325-330

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

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32

Franz Baader (Ed.): Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings. Lecture Notes in Computer Science 2741, Springer 2003, isbn 3-540-40559-3

Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, isbn 0-521-78176-0

Franz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. 178(2): 346-390 (2002)

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)

Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)

Franz Baader, Anni-Yasmin Turhan: On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113

Franz Baader: Engineering of Logics for the Content-Based Representation of Information. RTA 2002: 23

Franz Baader, Cesare Tinelli: Combining Decision Procedures for Positive Theories Sharing Constructors. RTA 2002: 352-366

Dieter Fensel, Franz Baader, Marie-Christine Rousset, Holger Wache: Heterogeneous information resources need semantic access. Data Knowl. Eng. 36(3): 211-213 (2001)

Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. J. Symb. Comput. 31(3): 277-305 (2001)

Franz Baader, Ulrike Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1): 5-40 (2001)

Franz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106

Franz Baader, Ralf Küsters: Unification in a Description Logic with Transitive Closure of Roles. Description Logics 2001

Franz Baader, Anni-Yasmin Turhan: TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics 2001

Franz Baader, Sebastian Brandt, Ralf Küsters: Matching under Side Conditions in Description Logics. IJCAI 2001: 213-218

Franz Baader, Ralf Küsters: Unification in a Description Logic with Transitive Closure of Roles. LPAR 2001: 217-232

Franz Baader, Wayne Snyder: Unification Theory. Handbook of Automated Reasoning 2001: 445-532

Franz Baader, Gerhard Brewka, Thomas Eiter (Eds.): KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2174, Springer 2001, isbn 3-540-42612-4

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter: Fusions of Description Logics. Description Logics 2000: 21-30

Franz Baader, Cesare Tinelli: Combining Equational Theories Sharing Non-Collapse-Free Constructors. FroCoS 2000: 260-274

Franz Baader, Ralf Molitor: Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. ICCS 2000: 292-305

Franz Baader, Ralf Küsters: Matching Concept Descriptions with Existential Restrictions. KR 2000: 261-272

Franz Baader, Ralf Küsters, Ralf Molitor: Rewriting Concepts Using Terminologies. KR 2000: 297-308

Franz Baader: Tableau Algorithms for Description Logics. TABLEAUX 2000: 1-18

Franz Baader, Ulrike Sattler (Eds.): Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. CEUR Workshop Proceedings 33, CEUR-WS.org 2000

Franz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)

Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics. J. Log. Comput. 9(3): 411-447 (1999)

Franz Baader, Klaus U. Schulz: Combining Constraint Solving. CCL 1999: 104-158

Franz Baader, Ralf Küsters: Matching in Description Logics with Existential Restrictions. Description Logics 1999

Franz Baader, Ralf Molitor: Rewriting in Description Logics Using Terminologies. Description Logics 1999

Franz Baader, Ralf Molitor, Stephan Tobies: Tractable and Decidable Fragments of Conceptual Graphs. ICCS 1999: 480-493

Franz Baader, Ralf Küsters, Ralf Molitor: Computing Least Common Subsumers in Description Logics with Existential Restrictions. IJCAI 1999: 96-103

Franz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA 1999: 175-189

Franz Baader: Logic-Based Knowledge Representation. Artificial Intelligence Today 1999: 13-41

Franz Baader, Tobias Nipkow: Term rewriting and all that. Cambridge University Press 1998, isbn 978-0-521-45520-6, pp. I-XII, 1-301

Franz Baader: On the Complexity of Boolean Unification. Inf. Process. Lett. 67(4): 215-220 (1998)

Franz Baader, Klaus U. Schulz: Combination of Constraint Solvers for Free and Quasi-Free Structures. Theor. Comput. Sci. 192(1): 107-161 (1998)

Franz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. Description Logics 1998

Franz Baader, Ralf Küsters: Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. Description Logics 1998

Franz Baader, Ralf Küsters, Ralf Molitor: Structural Subsumption Considered from an Automata-Theoretic Point of View. Description Logics 1998

Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. ECAI 1998: 331-335

Franz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340

Franz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. ICCS 1998: 15-34

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

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)

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

Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. Description Logics 1997

Franz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997

Franz Baader: Combination of Compatible Reduction Orderings that are Total on Ground Terms. LICS 1997: 2-13

Franz Baader, Manfred A. Jeusfeld, Werner Nutt (Eds.): Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997. CEUR Workshop Proceedings 8, CEUR-WS.org 1997

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)

Franz Baader, Martin Buchheit, Bernhard Hollunder: Cardinality Restrictions on Concepts. Artif. Intell. 88(1-2): 195-213 (1996)

Franz Baader: Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Ann. Math. Artif. Intell. 18(2-4): 175-219 (1996)

Franz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symb. Comput. 21(2): 211-243 (1996)

Franz Baader: Logik-basierte Wissensrepräsentation. KI 10(3): 8-16 (1996)

Franz Baader: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. Log. Comput. 6(1): 33-54 (1996)

Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14

Franz Baader, Ulrike Sattler: Knowledge Representation in Process Engineering. Description Logics 1996: 74-78

Franz Baader, Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287

Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt (Eds.): Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996. CEUR Workshop Proceedings 4, CEUR-WS.org 1996

Franz Baader, Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. Journal of Applied Non-Classical Logics 5(2): 153-197 (1995)

Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1): 149-180 (1995)

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)

Franz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. Theor. Comput. Sci. 142(2): 229-255 (1995)

Franz Baader, Klaus U. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CP 1995: 380-397

Franz Baader, Armin Laux: Terminological Logics with Modal Operators. IJCAI (1) 1995: 808-815

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Overview: KRDB'95. KRDB 1995

Franz Baader, Klaus U. Schulz: Combination of Constraint Solving Techniques: An Algebraic POint of View. RTA 1995: 352-366

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt (Eds.): KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995. CEUR Workshop Proceedings 2, CEUR-WS.org 1995

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)

Franz Baader, Martin Buchheit, Bernhard Hollunder: Cardinality Restrictions on Concepts. KI 1994: 51-62

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB 1994

Franz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt (Eds.): Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994. CEUR Workshop Proceedings 1, CEUR-WS.org 1994

Franz Baader: Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases. J. ACM 40(3): 477-503 (1993)

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)

Franz Baader, Karl Schlechta: A Semantics for Open Normal Defaults via a Modified Preferential Approach. ECSQARU 1993: 9-16

Franz Baader, Bernhard Hollunder: How to Prefer More Specific Defaults in Terminological Default Logic. IJCAI 1993: 669-675

Franz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. RTA 1993: 301-315

Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt: Terminologische Logiken. KI 6(3): 23-33 (1992)

Franz Baader, Klaus U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. CADE 1992: 50-65

Franz Baader, Werner Nutt: Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992: 1-5

Franz Baader, Bernhard Hollunder: Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning 1992: 30-52

Franz Baader, Philipp Hanschke: Extensions of Concept Languages for a Mechanical Engineering Application. GWAI 1992: 132-143

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

Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. KR 1992: 306-317

Franz Baader, Alfred Kobsa, Hans-Jürgen Profitlich: AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. KI 5(3): 24-25 (1991)

Franz Baader, Bernhard Hollunder: KRIS: Knowledge Representation and Inference System. SIGART Bulletin 2(3): 8-14 (1991)

Franz Baader: Cyclic, Transitive, and Concrete Extensions of Concept Languages. Description Logics 1991: 12-16

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

Franz Baader: Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. IJCAI 1991: 446-451

Franz Baader, Philipp Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI 1991: 452-457

Franz Baader, Klaus U. Schulz: General A- and AX-Unification via Optimized. IWWERT 1991: 23-42

Bernhard Hollunder, Franz Baader: Qualifying Number Restrictions in Concept Languages. KR 1991: 335-346

Franz Baader, Bernhard Hollunder: A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK 1991: 67-86

Franz Baader: Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. RTA 1991: 86-97

Franz Baader, Werner Nutt: Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991: 124-135

Franz Baader: Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990: 621-626

Franz Baader: Rewrite Systems for Varieties of Semigroups. CADE 1990: 396-410

Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka: Tutorial on Reasoning and Representation with Concept Languages. CADE 1990: 681

Franz Baader: A Formal Definition for the Expressive Power of Knowledge Representation Languages. ECAI 1990: 53-58

Franz Baader: Unification Theory. IWWERT 1990: 151-170

Franz Baader: Unification in Varieties of Completely Regular Semigroups. IWWERT 1990: 210-230

Franz Baader: Unification in Commutative Theories. J. Symb. Comput. 8(5): 479-497 (1989)

Franz Baader: Unification Properties of Commutative Theories: A Categorical Treatment. Category Theory and Computer Science 1989: 273-299

Franz Baader: Characterization of Unification Type Zero. RTA 1989: 2-14

Franz Baader: A Note on Unification Type Zero. Inf. Process. Lett. 27(2): 91-93 (1988)

Franz Baader, Wolfram Büttner: Unification in Commutative Idempotent Monoids. Theor. Comput. Sci. 56: 345-353 (1988)

Franz Baader: The Theory of Idempotent Semigroups is of Unification Type Zero. J. Autom. Reasoning 2(3): 283-286 (1986)