| 2009 |
|---|
| 167 | EE | Franz Baader,
Andreas Bauer,
Alwen Tiu:
Matching Trace Patterns with Regular Policies.
LATA 2009: 105-116 |
| 2008 |
|---|
| 166 | | 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 |
| 165 | EE | Franz Baader,
Novak Novakovik,
Boontawee Suntisrivaraporn:
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
Description Logics 2008 |
| 164 | EE | Franz Baader,
Silvio Ghilardi,
Carsten Lutz:
LTL over Description Logic Axioms.
Description Logics 2008 |
| 163 | EE | Franz Baader,
Felix Distel:
A Finite Basis for the Set of EL-Implications Holding in a Finite Model.
ICFCA 2008: 46-61 |
| 162 | EE | Franz Baader,
Rafael Peñaloza:
Automata-Based Axiom Pinpointing.
IJCAR 2008: 226-241 |
| 161 | | Franz Baader,
Silvio Ghilardi,
Carsten Lutz:
LTL over Description Logic Axioms.
KR 2008: 684-694 |
| 160 | EE | Franz Baader,
Boontawee Suntisrivaraporn:
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+.
KR-MED 2008 |
| 159 | EE | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Automata can show PSpace results for description logics.
Inf. Comput. 206(9-10): 1045-1056 (2008) |
| 2007 |
|---|
| 158 | | 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 |
| 157 | | Franz Baader:
Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
Springer 2007 |
| 156 | EE | Boontawee Suntisrivaraporn,
Franz Baader,
Stefan Schulz,
Kent A. Spackman:
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators.
AIME 2007: 287-291 |
| 155 | EE | Franz Baader,
Byron Cook,
Jürgen Giesl,
Robert Nieuwenhuis:
07401 Abstracts Collection -- Deduction and Decision Procedures.
Deduction and Decision Procedures 2007 |
| 154 | EE | Franz Baader,
Byron Cook,
Jürgen Giesl,
Robert Nieuwenhuis:
07401 Executive Summary -- Deduction and Decision Procedures.
Deduction and Decision Procedures 2007 |
| 153 | EE | Franz Baader,
Jan Hladik,
Rafael Peñaloza:
Blocking Automata for PSPACE DLs.
Description Logics 2007 |
| 152 | EE | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL.
Description Logics 2007 |
| 151 | EE | Franz Baader,
Bernhard Ganter,
Baris Sertkaya,
Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
IJCAI 2007: 230-235 |
| 150 | EE | Franz Baader,
Rafael Peñaloza,
Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL+.
KI 2007: 52-67 |
| 149 | EE | Franz Baader,
Bernhard Ganter,
Ulrike Sattler,
Baris Sertkaya:
Completing Description Logic Knowledge Bases using Formal Concept Analysis.
OWLED 2007 |
| 148 | EE | Franz Baader,
Rafael Peñaloza:
Axiom Pinpointing in General Tableaux.
TABLEAUX 2007: 11-27 |
| 147 | EE | 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) |
| 146 | EE | Franz Baader:
Preface to Special Issue on Reasoning in Description Logics.
J. Autom. Reasoning 39(3): 245-247 (2007) |
| 2006 |
|---|
| 145 | | 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 |
| 144 | EE | Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn:
Efficient Reasoning in EL+.
Description Logics 2006 |
| 143 | EE | Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn:
CEL - A Polynomial-Time Reasoner for Life Science Ontologies.
IJCAR 2006: 287-291 |
| 142 | EE | 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 |
| 141 | EE | 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 |
|---|
| 140 | | 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 |
| 139 | | Franz Baader,
Carsten Lutz,
Maja Milicic,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
AAAI 2005: 572-577 |
| 138 | EE | Franz Baader,
Silvio Ghilardi:
Connecting Many-Sorted Theories.
CADE 2005: 278-294 |
| 137 | EE | Franz Baader,
Peter Baumgartner,
Robert Nieuwenhuis,
Andrei Voronkov:
05431 Abstracts Collection - Deduction and Applications.
Deduction and Applications 2005 |
| 136 | EE | Franz Baader,
Peter Baumgartner,
Robert Nieuwenhuis,
Andrei Voronkov:
05431 Executive Summary - Deduction and Applications.
Deduction and Applications 2005 |
| 135 | EE | Franz Baader,
Carsten Lutz,
Eldar Karabaev,
Manfred Theißen:
A new n-ary existential quantifier in description logics.
Description Logics 2005 |
| 134 | EE | Franz Baader,
Maja Milicic,
Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
Description Logics 2005 |
| 133 | EE | Franz Baader,
Silvio Ghilardi:
Connecting Many-Sorted Structures and Theories Through Adjoint Functions.
FroCos 2005: 31-47 |
| 132 | EE | Franz Baader,
Sebastian Brandt,
Carsten Lutz:
Pushing the EL Envelope.
IJCAI 2005: 364-369 |
| 131 | EE | Franz Baader,
Eldar Karabaev,
Carsten Lutz,
Manfred Theißen:
A New n-Ary Existential Quantifier in Description Logics.
KI 2005: 18-33 |
| 130 | EE | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web.
Mechanizing Mathematical Reasoning 2005: 228-248 |
| 129 | EE | Franz Baader:
19th International Conference on Automated Deduction (CADE-19).
Inf. Comput. 199(1-2): 1-2 (2005) |
| 2004 |
|---|
| 128 | EE | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology.
Description Logics 2004 |
| 127 | EE | Franz Baader,
Baris Sertkaya:
Applying Formal Concept Analysis to Description Logics.
ICFCA 2004: 261-286 |
| 126 | EE | 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 |
| 125 | EE | Franz Baader:
Engineering of Logics for the Content-Based Representation of Information.
JELIA 2004: 2-3 |
| 124 | EE | Franz Baader,
Baris Sertkaya,
Anni-Yasmin Turhan:
Computing the Least Common Subsumer w.r.t. a Background Terminology.
JELIA 2004: 400-412 |
| 123 | EE | 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 |
| 122 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics.
Handbook on Ontologies 2004: 3-28 |
| 121 | EE | Franz Baader,
Stephan Tobies:
The Inverse Method Implements the Automata Approach for Modal Satisfiability
CoRR abs/cs/0412101: (2004) |
| 2003 |
|---|
| 120 | | 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 |
| 119 | | Franz Baader:
Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Springer 2003 |
| 118 | | Franz Baader,
Ralf Küsters,
Frank Wolter:
Extensions to Description Logics.
Description Logic Handbook 2003: 219-261 |
| 117 | | Franz Baader,
Werner Nutt:
Basic Description Logics.
Description Logic Handbook 2003: 43-95 |
| 116 | | Franz Baader:
Description Logic Terminology.
Description Logic Handbook 2003: 485-495 |
| 115 | EE | Franz Baader:
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles.
Description Logics 2003 |
| 114 | EE | Franz Baader:
Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics.
ICCS 2003: 117-130 |
| 113 | | Franz Baader:
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles.
IJCAI 2003: 319-324 |
| 112 | | Franz Baader:
Terminological Cycles in a Description Logic with Existential Restrictions.
IJCAI 2003: 325-330 |
| 111 | EE | 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 |
| 110 | EE | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
LPAR 2003: 1-32 |
| 109 | EE | Franz Baader,
Jan Hladik,
Carsten Lutz,
Frank Wolter:
From Tableaux to Automata for Description Logics.
Fundam. Inform. 57(2-4): 247-279 (2003) |
| 108 | EE | Franz Baader,
Ulrike Sattler:
Description logics with aggregates and concrete domains.
Inf. Syst. 28(8): 979-1004 (2003) |
| 2002 |
|---|
| 107 | EE | Franz Baader,
Anni-Yasmin Turhan:
On the Problem of Computing Small Representations of Least Common Subsumers.
KI 2002: 99-113 |
| 106 | EE | Franz Baader:
Engineering of Logics for the Content-Based Representation of Information.
RTA 2002: 23 |
| 105 | EE | Franz Baader,
Cesare Tinelli:
Combining Decision Procedures for Positive Theories Sharing Constructors.
RTA 2002: 352-366 |
| 104 | EE | Franz Baader,
Cesare Tinelli:
Deciding the Word Problem in the Union of Equational Theories.
Inf. Comput. 178(2): 346-390 (2002) |
| 103 | EE | 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) |
| 102 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics for the Semantic Web.
KI 16(4): 57-59 (2002) |
| 2001 |
|---|
| 101 | | 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 |
| 100 | EE | Franz Baader,
Anni-Yasmin Turhan:
TBoxes do not Yield a Compact Representation of Least Common Subsumers.
Description Logics 2001 |
| 99 | EE | Franz Baader,
Ralf Küsters:
Unification in a Description Logic with Transitive Closure of Roles.
Description Logics 2001 |
| 98 | | Franz Baader,
Sebastian Brandt,
Ralf Küsters:
Matching under Side Conditions in Description Logics.
IJCAI 2001: 213-218 |
| 97 | EE | Franz Baader,
Stephan Tobies:
The Inverse Method Implements the Automata Approach for Modal Satisfiability.
IJCAR 2001: 92-106 |
| 96 | EE | Franz Baader,
Ralf Küsters:
Unification in a Description Logic with Transitive Closure of Roles.
LPAR 2001: 217-232 |
| 95 | | Franz Baader,
Wayne Snyder:
Unification Theory.
Handbook of Automated Reasoning 2001: 445-532 |
| 94 | EE | Dieter Fensel,
Franz Baader,
Marie-Christine Rousset,
Holger Wache:
Heterogeneous information resources need semantic access.
Data Knowl. Eng. 36(3): 211-213 (2001) |
| 93 | | Franz Baader,
Paliath Narendran:
Unification of Concept Terms in Description Logics.
J. Symb. Comput. 31(3): 277-305 (2001) |
| 92 | | Franz Baader,
Ulrike Sattler:
An Overview of Tableau Algorithms for Description Logics.
Studia Logica 69(1): 5-40 (2001) |
| 2000 |
|---|
| 91 | | Franz Baader,
Ulrike Sattler:
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000
CEUR-WS.org 2000 |
| 90 | EE | Franz Baader,
Carsten Lutz,
Holger Sturm,
Frank Wolter:
Fusions of Description Logics.
Description Logics 2000: 21-30 |
| 89 | | Franz Baader,
Cesare Tinelli:
Combining Equational Theories Sharing Non-Collapse-Free Constructors.
FroCos 2000: 260-274 |
| 88 | | Franz Baader,
Ralf Molitor:
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.
ICCS 2000: 292-305 |
| 87 | | Franz Baader,
Ralf Küsters:
Matching Concept Descriptions with Existential Restrictions.
KR 2000: 261-272 |
| 86 | | Franz Baader,
Ralf Küsters,
Ralf Molitor:
Rewriting Concepts Using Terminologies.
KR 2000: 297-308 |
| 85 | | Franz Baader:
Tableau Algorithms for Description Logics.
TABLEAUX 2000: 1-18 |
| 1999 |
|---|
| 84 | EE | Franz Baader,
Klaus U. Schulz:
Combining Constraint Solving.
CCL 1999: 104-158 |
| 83 | EE | Franz Baader,
Ralf Küsters:
Matching in Description Logics with Existential Restrictions.
Description Logics 1999 |
| 82 | EE | Franz Baader,
Ralf Molitor:
Rewriting in Description Logics Using Terminologies.
Description Logics 1999 |
| 81 | | Franz Baader,
Ralf Molitor,
Stephan Tobies:
Tractable and Decidable Fragments of Conceptual Graphs.
ICCS 1999: 480-493 |
| 80 | | Franz Baader,
Ralf Küsters,
Ralf Molitor:
Computing Least Common Subsumers in Description Logics with Existential Restrictions.
IJCAI 1999: 96-103 |
| 79 | EE | Franz Baader,
Cesare Tinelli:
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors.
RTA 1999: 175-189 |
| 78 | EE | Franz Baader:
Logic-Based Knowledge Representation.
Artificial Intelligence Today 1999: 13-41 |
| 77 | EE | Franz Baader,
Ulrike Sattler:
Expressive Number Restrictions in Description Logics.
J. Log. Comput. 9(3): 319-350 (1999) |
| 76 | EE | Franz Baader,
Ralf Küsters,
Alexander Borgida,
Deborah L. McGuinness:
Matching in Description Logics.
J. Log. Comput. 9(3): 411-447 (1999) |
| 1998 |
|---|
| 75 | EE | Franz Baader,
Ralf Küsters:
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies.
Description Logics 1998 |
| 74 | EE | Franz Baader,
Alexander Borgida,
Deborah L. McGuinness:
Matching in Description Logics: Preliminary Results.
Description Logics 1998 |
| 73 | EE | 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 | EE | 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 | EE | Franz Baader:
On the Complexity of Boolean Unification.
Inf. Process. Lett. 67(4): 215-220 (1998) |
| 67 | EE | 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 | EE | Franz Baader,
Ulrike Sattler:
Description Logics with Aggregates and Concrete Domains.
Description Logics 1997 |
| 63 | EE | Franz Baader,
Paliath Narendran:
Unification of Concept Terms in Description Logics.
Description Logics 1997 |
| 62 | EE | Franz Baader:
Combination of Compatible Reduction Orderings that are Total on Ground Terms.
LICS 1997: 2-13 |
| 61 | EE | 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 | EE | Franz 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) |
| 53 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |
