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

Franz Baader Vis

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

*2009
177EEFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Query Answering over DL ABoxes: How to Pick the Relevant Symbols. Description Logics 2009
176EEFranz Baader, Barbara Morawska: Unification in the Description Logic EL. Description Logics 2009
175EEFranz Baader, Andreas Bauer, Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. FroCos 2009: 149-164
174EEConrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCos 2009: 214-229
173EEFranz Baader, Baris Sertkaya: Usability Issues in Description Logic Knowledge Base Completion. ICFCA 2009: 1-21
172EEFranz Baader, Felix Distel: Exploring Finite Models in the Description Logic . ICFCA 2009: 146-161
171EEFranz Baader, Andreas Bauer, Alwen Tiu: Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
170EEFranz Baader, Barbara Morawska: Unification in the Description Logic EL. RTA 2009: 350-364
169EEFranz Baader: Description Logics. Reasoning Web 2009: 1-39
168EEFranz 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
167 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
166EEFranz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. Description Logics 2008
165EEFranz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. Description Logics 2008
164EEFranz Baader, Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. ICFCA 2008: 46-61
163EEFranz Baader, Rafael Peñaloza: Automata-Based Axiom Pinpointing. IJCAR 2008: 226-241
162 Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms. KR 2008: 684-694
161EEFranz Baader, Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. KR-MED 2008
160EEFranz Baader, Jan Hladik, Rafael Peñaloza: Automata can show PSpace results for description logics. Inf. Comput. 206(9-10): 1045-1056 (2008)
2007
159 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
158 Franz Baader: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings Springer 2007
157EEBoontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent A. Spackman: Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators. AIME 2007: 287-291
156EEFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Abstracts Collection -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007
155EEFranz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis: 07401 Executive Summary -- Deduction and Decision Procedures. Deduction and Decision Procedures 2007
154EEFranz Baader, Jan Hladik, Rafael Peñaloza: Blocking Automata for PSPACE DLs. Description Logics 2007
153EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. Description Logics 2007
152EEFranz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235
151EEFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL+. KI 2007: 52-67
150EEStefan Schulz, Boontawee Suntisrivaraporn, Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. MedInfo 2007: 802-806
149EEFranz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007
148EEFranz Baader, Rafael Peñaloza: Axiom Pinpointing in General Tableaux. TABLEAUX 2007: 11-27
147EEFranz 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)
146EEFranz 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
144EEFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: Efficient Reasoning in EL+. Description Logics 2006
143EEFranz Baader, Carsten Lutz, Boontawee Suntisrivaraporn: CEL - A Polynomial-Time Reasoner for Life Science Ontologies. IJCAR 2006: 287-291
142EECarsten 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
141EEFranz 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
138EEFranz Baader, Silvio Ghilardi: Connecting Many-Sorted Theories. CADE 2005: 278-294
137EEFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Abstracts Collection - Deduction and Applications. Deduction and Applications 2005
136EEFranz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov: 05431 Executive Summary - Deduction and Applications. Deduction and Applications 2005
135EEFranz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen: A new n-ary existential quantifier in description logics. Description Logics 2005
134EEFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
133EEFranz Baader, Silvio Ghilardi: Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCos 2005: 31-47
132EEFranz Baader, Sebastian Brandt, Carsten Lutz: Pushing the EL Envelope. IJCAI 2005: 364-369
131EEFranz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen: A New n-Ary Existential Quantifier in Description Logics. KI 2005: 18-33
130EEFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
129EEFranz Baader: 19th International Conference on Automated Deduction (CADE-19). Inf. Comput. 199(1-2): 1-2 (2005)
2004
128EEFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. Description Logics 2004
127EEFranz Baader, Baris Sertkaya: Applying Formal Concept Analysis to Description Logics. ICFCA 2004: 261-286
126EEFranz 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
125EEFranz Baader: Engineering of Logics for the Content-Based Representation of Information. JELIA 2004: 2-3
124EEFranz Baader, Baris Sertkaya, Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. JELIA 2004: 400-412
123EEFranz 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
121EEFranz 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
115EEFranz Baader: Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. Description Logics 2003
114EEFranz 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
111EEFranz 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
110EEFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. LPAR 2003: 1-32
109EEFranz Baader, Jan Hladik, Carsten Lutz, Frank Wolter: From Tableaux to Automata for Description Logics. Fundam. Inform. 57(2-4): 247-279 (2003)
108EEFranz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)
2002
107EEFranz Baader, Anni-Yasmin Turhan: On the Problem of Computing Small Representations of Least Common Subsumers. KI 2002: 99-113
106EEFranz Baader: Engineering of Logics for the Content-Based Representation of Information. RTA 2002: 23
105EEFranz Baader, Cesare Tinelli: Combining Decision Procedures for Positive Theories Sharing Constructors. RTA 2002: 352-366
104EEFranz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories. Inf. Comput. 178(2): 346-390 (2002)
103EEFranz 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
100EEFranz Baader, Anni-Yasmin Turhan: TBoxes do not Yield a Compact Representation of Least Common Subsumers. Description Logics 2001
99EEFranz 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
97EEFranz Baader, Stephan Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR 2001: 92-106
96EEFranz 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
94EEDieter 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
90EEFranz 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
88EEFranz 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
84EEFranz Baader, Klaus U. Schulz: Combining Constraint Solving. CCL 1999: 104-158
83EEFranz Baader, Ralf Küsters: Matching in Description Logics with Existential Restrictions. Description Logics 1999
82EEFranz Baader, Ralf Molitor: Rewriting in Description Logics Using Terminologies. Description Logics 1999
81EEFranz 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
79EEFranz Baader, Cesare Tinelli: Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. RTA 1999: 175-189
78EEFranz Baader: Logic-Based Knowledge Representation. Artificial Intelligence Today 1999: 13-41
77EEFranz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)
76EEFranz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics. J. Log. Comput. 9(3): 411-447 (1999)
1998
75EEFranz Baader, Ralf Küsters: Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. Description Logics 1998
74EEFranz Baader, Alexander Borgida, Deborah L. McGuinness: Matching in Description Logics: Preliminary Results. Description Logics 1998
73EEFranz 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
70EEFranz 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
68EEFranz Baader: On the Complexity of Boolean Unification. Inf. Process. Lett. 67(4): 215-220 (1998)
67EEFranz 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
65EEFranz 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
64EEFranz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997
63EEFranz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. Description Logics 1997
62EEFranz Baader: Combination of Compatible Reduction Orderings that are Total on Ground Terms. LICS 1997: 2-13
61EEFranz 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)
54EEFranz 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)
53EEFranz 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
46EEFranz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt: Overview: KRDB'95. KRDB 1995
45EEFranz 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)
41EEFranz 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
38EEFranz 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
36EEFranz 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
33EEFranz Baader, Klaus U. Schulz: Combination Techniques and Decision Problems for Disunification. RTA 1993: 301-315
32EEFranz 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
30EEFranz 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
16EEFranz Baader, Werner Nutt: Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991: 124-135
15EEFranz 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
11EEFranz Baader: Rewrite Systems for Varieties of Semigroups. CADE 1990: 396-410
10EEJü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
5EEFranz 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

1Andreas Bauer [168] [171] [175]
2Peter Baumgartner [136] [137] [145] [168]
3Meghyn Bienvenu [177]
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] [172]
14Conrad Drescher [174]
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 [174]
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]
31Alfred Kobsa [14]
32Ralf Küsters [69] [73] [75] [76] [80] [83] [86] [87] [96] [98] [99] [118]
33Armin Laux [24] [47]
34Kevin Lee [168]
35Domenico Lembo [142]
36Marcel Lippmann [175]
37Hongkai Liu [174]
38Carsten Lutz [90] [103] [109] [110] [131] [132] [134] [135] [139] [142] [143] [144] [162] [165] [167] [177]
39Deborah L. McGuinness [70] [74] [76] [120]
40Maja Milicic [134] [139]
41Ralf Molitor [73] [80] [81] [82] [86] [88]
42Ralf Möller [142]
43Barbara Morawska [170] [176]
44Boris Motik [167]
45Jürgen Müller [10] [22]
46Daniele Nardi [120]
47Paliath Narendran [63] [72] [93]
48Bernhard Nebel [10] [22] [26] [31] [36]
49Robert Nieuwenhuis [136] [137] [145] [155] [156] [159]
50Novak Novakovik [166]
51Werner Nutt [10] [16] [22] [24] [29] [31] [38] [40] [46] [49] [54] [60] [61] [66] [117]
52Hans Jürgen Ohlbach [42]
53Peter F. Patel-Schneider [120]
54Rafael Peñaloza [148] [151] [153] [154] [160] [163]
55Uwe Petersohn [174]
56Hans-Jürgen Profitlich [14] [22] [26] [36]
57David Rajaratnam [168]
58Riccardo Rosati [142]
59Marie-Christine Rousset [94]
60Ulrike Sattler [56] [57] [58] [59] [64] [71] [77] [91] [92] [102] [108] [122] [130] [134] [139] [142] [149] [152]
61Karl Schlechta [35]
62Klaus U. Schulz [19] [30] [33] [41] [45] [48] [51] [67] [84]
63Stefan Schulz [150] [157]
64Rolf Schwitter [168]
65Baris Sertkaya [124] [127] [128] [147] [149] [152] [173]
66Jörg H. Siekmann [37]
67Gert Smolka [10]
68Wayne Snyder [95]
69Kent A. Spackman [157]
70Peter Steinke [174]
71Holger Sturm [90] [103]
72Boontawee Suntisrivaraporn [142] [143] [144] [150] [151] [153] [157] [161] [166]
73Sergio Tessaris [142]
74Manfred Theißen [131] [135]
75Michael Thielscher [174]
76Cesare Tinelli [65] [79] [89] [104] [105] [126] [141]
77Alwen Tiu (Alwen Fernanto Tiu) [171]
78Stephan Tobies [81] [97] [121]
79Anni-Yasmin Turhan [100] [107] [124] [128] [147]
80Andrei Voronkov [136] [137] [140] [145]
81Holger Wache [94]
82Frank Wolter [90] [103] [109] [110] [118] [134] [139] [177]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)