Franz Baader
55 publications
12 venues
H Index29
Affiliation
Dresden University of Technology, GermanyLinks
DBLP
ORCID- http://isni.org/isni/0000000114414448
- http://lat.inf.tu-dresden.de/~baader/
- https://d-nb.info/gnd/131845098
- https://dl.acm.org/profile/81508686184
- https://en.wikipedia.org/wiki/Franz_Baader
- https://genealogy.math.ndsu.nodak.edu/id.php?id=65090
- https://id.loc.gov/authorities/names/n96080351
- https://scholar.google.com/citations?user=dIVc_FYAAAAJ
- https://viaf.org/viaf/34634110
- https://www.researcherid.com/rid/Q-6099-2016
- https://www.wikidata.org/entity/Q92729
| Name | Venue | Year | Citations |
|---|---|---|---|
Computing Least Common Subsumers in Description Logics with Existential Restrictions.
|
IJCAI | 1999 | 128 |
| A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms.
|
ISWC | 2009 | 31 |
| Description Logics with Concrete Domains and Aggregation.
|
ECAI | 1998 | 30 |
| Extending Unification in EL Towards General TBoxes.
|
KR | 2012 | 23 |
| Matching under Side Conditions in Description Logics.
|
IJCAI | 2001 | 15 |
| Tutorial on Reasoning and Representation with Concept Languages.
|
CADE | 1990 | 0 |
| Query Rewriting for DL-Lite with n-ary Concrete Domains.
|
IJCAI | 2017 | 6 |
| Making Repairs in Description Logics More Gentle.
|
KR | 2018 | 4 |
| A Scheme for Integrating Concrete Domains into Concept Languages.
|
IJCAI | 1991 | 329 |
| Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
|
IJCAI | 2007 | 142 |
| Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles.
|
IJCAI | 2003 | 80 |
| Pushing the EL Envelope.
|
IJCAI | 2005 | 881 |
| A Novel Architecture for Situation Awareness Systems.
|
TABLEAUX | 2009 | 32 |
| Unification in a Description Logic with Transitive Closure of Roles.
|
LPAR | 2001 | 37 |
| Terminological Cycles in KL-ONE-based Knowledge Representation Languages.
|
AAAI | 1990 | 59 |
| Terminological Logics with Modal Operators.
|
IJCAI | 1995 | 41 |
| From Tableaux to Automata for Description Logics.
|
LPAR | 2003 | 40 |
| Query and Predicate Emptiness in Description Logics.
|
KR | 2010 | 17 |
| Fusions of Description Logics and Abstract Description Systems.
|
JAIR | 2002 | 65 |
| Axiom Pinpointing in General Tableaux.
|
TABLEAUX | 2007 | 100 |
| How to Prefer More Specific Defaults in Terminological Default Logic.
|
IJCAI | 1993 | 63 |
| Temporalizing Ontology-Based Data Access.
|
CADE | 2013 | 47 |
| Matching Concept Descriptions with Existential Restrictions.
|
KR | 2000 | 5 |
| Extending the Description Logic with Acyclic TBoxes.
|
ECAI | 2016 | 1 |
| Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.
|
KR | 1996 | 28 |
| Rewriting Concepts Using Terminologies.
|
KR | 2000 | 60 |
| Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.
|
LPAR | 2012 | 7 |
| Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.
|
CADE | 1992 | 124 |
| Computing the Least Common Subsumer w.r.t. a Background Terminology.
|
JELIA | 2004 | 71 |
| On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers.
|
CP | 1995 | 30 |
| A Formal Definition for the Expressive Power of Knowledge Representation Languages.
|
ECAI | 1990 | 23 |
| Tableau Algorithms for Description Logics.
|
TABLEAUX | 2000 | 63 |
| Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles.
|
IJCAI | 1991 | 148 |
| Connecting Many-Sorted Theories.
|
CADE | 2005 | 31 |
| Ontology-Based Monitoring of Dynamic Systems.
|
KR | 2014 | 6 |
| A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method.
|
CADE | 1997 | 25 |
| Terminological Cycles in a Description Logic with Existential Restrictions.
|
IJCAI | 2003 | 174 |
| Rewrite Systems for Varieties of Semigroups.
|
CADE | 1990 | 5 |
| LTL over Description Logic Axioms.
|
KR | 2008 | 89 |
| Integrating Description Logics and Action Formalisms: First Results.
|
AAAI | 2005 | 132 |
| Verifying Properties of Infinite Sequences of Description Logic Actions.
|
ECAI | 2010 | 17 |
| Query and Predicate Emptiness in Ontology-Based Data Access.
|
JAIR | 2016 | 16 |
| Cardinality Restrictions on Concepts.
|
Artificial Intelligence | 1996 | 76 |
| Engineering of Logics for the Content-Based Representation of Information.
|
JELIA | 2004 | 0 |
| Description Logics with Symbolic Number Restrictions.
|
ECAI | 1996 | 16 |
| An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
|
KR | 1992 | 167 |
| Qualifying Number Restrictions in Concept Languages.
|
KR | 1991 | 135 |
| Unification of Concept Terms in Description Logics.
|
ECAI | 1998 | 0 |
| Privacy-Preserving Ontology Publishing for
|
JELIA | 2019 | 0 |
| Counting Strategies for the Probabilistic Description Logic
|
JELIA | 2019 | 0 |
| Approximate Unification in the Description Logic
|
JELIA | 2016 | 0 |
| Matching in the Description Logic FL0 with respect to General TBoxes.
|
LPAR | 2018 | 0 |
| Invited Talks.
|
KR | 2014 | 0 |
| Embedding Defaults into Terminological Knowledge Representation Formalisms.
|
KR | 1992 | 0 |
| Unification in the Description Logic
|
CADE | 2011 | 0 |