Franz Baader

Q: What Schools Are Affiliated With Franz Baader

Franz Baader is affiliated with the following schools: University of Passau, University of Erlangen–Nuremberg, Otto von Guericke University Magdeburg, RWTH Aachen University, TU Dresden

Franz Baader's AcademicInfluence.com Rankings

Franz Baader

Computer Science

#823

World Rank

#854

Historical Rank

Automated Reasoning

World Rank

Historical Rank

Artificial Intelligence

#171

World Rank

#175

Historical Rank

Database

#595

World Rank

#624

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Franz Baader Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Franz Baader is a German computer scientist at Dresden University of Technology. He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence as a senior researcher and project leader.

(See a Problem?)

Franz Baader's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Description Logic Handbook: Theory, Implementation, and Applications (2003) (7190)
The Description Logic Handbook (2007) (2423)
Term rewriting and all that (1998) (1293)
Pushing the EL Envelope (2005) (1265)
Basic Description Logics (2003) (727)
Description Logics as Ontology Languages for the Semantic Web (2005) (503)
An Overview of Tableau Algorithms for Description Logics (2001) (495)
A Scheme for Integrating Concrete Domains into Concept Languages (1991) (473)
Description Logics (2009) (469)
The description logic handbook: theory (2003) (437)
An Introduction to Description Logic (2017) (337)
Embedding defaults into terminological knowledge representation formalisms (1995) (289)
Pushing the EL Envelope Further (2008) (274)
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On (1992) (251)
Terminological Cycles in a Description Logic with Existential Restrictions (2003) (247)
CEL - A Polynomial-Time Reasoner for Life Science Ontologies (2006) (244)
Computing Least Common Subsumers in Description Logics with Existential Restrictions (1999) (241)
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures (1992) (233)
Integrating Description Logics and Action Formalisms: First Results (2005) (207)
Completing Description Logic Knowledge Bases Using Formal Concept Analysis (2007) (204)
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles (1991) (202)
Pinpointing in the Description Logic EL (2007) (197)
Qualifying Number Restrictions in Concept Languages (1991) (189)
Unification of Concept Terms in Description Logics (2001) (173)
Axiom Pinpointing in General Tableaux (2007) (164)
KRIS: Knowledge Representation and Inference System (1991) (156)
Unification Theory (1990) (149)
Computing the Least Common Subsumer w.r.t. a Background Terminology (2004) (132)
Cardinality Restrictions on Concepts (1994) (127)
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ (2008) (126)
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic (1995) (123)
Chapter 3 Description Logics (2008) (121)
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles (2003) (116)
LTL over description logic axioms (2008) (112)
Terminological Knowledge Representation: A Proposal for a Terminological Logic (1991) (107)
How to Prefer More Specific Defaults in Terminological Default Logic (1993) (107)
Tableau Algorithms for Description Logics (2000) (100)
A Terminological Knowledge Representation System with Complete Inference Algorithms (1991) (100)
SNOMED reaching its adolescence: Ontologists' and logicians' health check (2009) (99)
An Introduction to Description Logic by Franz Baader (2017) (98)
Terminological Cycles in KL-ONE-based Knowledge Representation Languages (1990) (98)
Fusions of Description Logics and Abstract Description Systems (2011) (97)
Automata-Based Axiom Pinpointing (2008) (97)
Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions (1998) (96)
Unification in the Description Logic EL (2009) (95)
Matching in Description Logics (1999) (88)
Logic-Based Knowledge Representation (1999) (83)
Rewriting Concepts Using Terminologies (2000) (83)
KI 2001: Advances in Artificial Intelligence (2001) (78)
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice (2005) (77)
Am empirical analysis of optimization techniques for terminological representation systems (1994) (77)
Description Logics for the Semantic Web (2002) (76)
Extensions to Description Logics (2003) (75)
Efficient Reasoning in EL+ (2006) (72)
Unification in modal and description logics (2011) (72)
Using automata theory for characterizing the semantics of terminological cycles (1996) (69)
A Description Logic Based Approach to Reasoning about Web Services (2005) (69)
On the expressivity of feature logics with negation, functional uncertainty, and sort equations (1993) (67)
Unification in a Description Logic with Transitive Closure of Roles (2001) (66)
Extensions of Concept Languages for a Mechanical Engineering Application (1992) (64)
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages (1996) (63)
A Finite Basis for the Set of EL-Implications Holding in a Finite Model (2008) (61)
Terminological Logics with Modal Operators (1995) (60)
A Multi-Dimensional Terminological Knowledge Representation Language (1993) (60)
A Novel Architecture for Situation Awareness Systems (2009) (59)
Uniication Theory (1999) (59)
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions (2007) (59)
Description logic (2007) (59)
From Tableaux to Automata for Description Logics (2003) (58)
Description Logic Terminology (2003) (56)
Temporalizing Ontology-Based Data Access (2013) (56)
Combination Techniques and Decision Problems for Disunification (1993) (53)
Context-dependent views to axioms and consequences of Semantic Web ontologies (2012) (52)
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm (2011) (52)
Computing a Minimal Representation of the Subsumption Lattice of All Conjunctions of Concepts De ned in a Terminology ? (1995) (51)
The Inverse Method Implements the Automata Approach for Modal Satisfiability (2001) (50)
Description Logics with Aggregates and Concrete Domains (2003) (49)
Applying Formal Concept Analysis to Description Logics (2004) (48)
Are fuzzy description logics with general concept inclusion axioms decidable? (2011) (48)
Description Logics with Concrete Domains and Aggregation (1998) (48)
Connecting many-sorted theories (2005) (47)
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (1996) (47)
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators (2007) (46)
A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms (2009) (46)
SI! Automata Can Show PSPACE Results for Description Logics (2008) (45)
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers (1995) (43)
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (2004) (43)
Unification in Commutative Theories (1989) (43)
Tractable and Decidable Fragments of Conceptual Graphs (1999) (43)
Matching in Description Logics with Existential Restrictions (1999) (42)
Integrating Description Logics and Action Formalisms for Reasoning about Web Services (2004) (42)
Deciding the Word Problem in the Union of Equational Theories (1998) (40)
A Formal Definition for the Expressive Power of Knowledge Representation Languages (1990) (40)
Expressive Number Restrictions in Description Logics (1999) (40)
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis (2000) (40)
Temporal query entailment in the Description Logic SHQ (2015) (39)
Reasoning about structured objects: Knowledge representation meets databases (1995) (39)
Extending Unification in EL Towards General TBoxes (2012) (38)
Metric Temporal Description Logics with Interval-Rigid Names (2017) (38)
Nonstandard Inferences in Description Logics: The Story So Far (2006) (37)
Combination of Constraint Solvers for Free and Quasi-Free Structures (1998) (37)
A New Approach for Combining Decision Procedure for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method (1997) (37)
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics (2003) (34)
Making Repairs in Description Logics More Gentle (2018) (34)
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles (2003) (34)
Computing the Least Common Subsumer in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics (2003) (34)
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report) (2020) (33)
Verification of Golog Programs over Description Logic Actions (2013) (32)
On the Complexity of Boolean Unification (1998) (32)
Unification in Commutative Idempotent Monoids (1988) (31)
Query and Predicate Emptiness in Ontology-Based Data Access (2016) (30)
KRIS: knowledge representation and inference system ; system description (1990) (30)
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems (1991) (28)
Runtime Verification Using a Temporal Description Logic (2009) (28)
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases (1993) (28)
Description Logics with Symbolic Number Restrictions (1996) (28)
On the Problem of Computing Small Representations of Least Common Subsumers (2002) (28)
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable (2011) (27)
Combination of Constraint Solving Techniques: An Algebraic POint of View (1995) (27)
Verifying Properties of Infinite Sequences of Description Logic Actions (2010) (26)
Knowledge Representation in Process Engineering (1996) (26)
SAT Encoding of Unification in EL (2010) (26)
Small is Again Beautiful in Description Logics (2010) (24)
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics (2010) (24)
What’s new in Description Logics (2011) (23)
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors (2017) (23)
Query and Predicate Emptiness in Description Logics (2010) (23)
Exploring Finite Models in the Description Logic (2009) (23)
Matching under Side Conditions in Description Logics (2001) (23)
Adding Threshold Concepts to the Description Logic EL (2015) (21)
Non-Standard Inferences in Description Logics : The Story So Far (2005) (20)
Usability Issues in Description Logic Knowledge Base Completion (2009) (19)
Formalizing biomedical concepts from textual definitions (2015) (19)
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report) (2021) (19)
The theory of idempotent semigroups is of unification type zero (1986) (18)
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles (2015) (18)
Combining Constraint Solving (2001) (18)
A Semantics for Open Normal Defaults via a Modified Preferential Approach (1993) (17)
Unification in varieties of idempotent semigroups (1987) (17)
Automated Deduction – CADE-19 (2003) (17)
Fusions of Description Logics (2000) (17)
Reasoning Support for Ontology Design (2006) (16)
Combination problems for commutative/monoidal theories or how algebra can help in equational unification (1996) (15)
Structural Subsumption Considered from an Automata-Theoretic Point of View (1998) (15)
Using Ontologies to Query Probabilistic Numerical Data (2017) (15)
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL (2004) (15)
Decidability and Complexity of Fuzzy Description Logics (2017) (14)
General A- and AX-Unification via Optimized (1991) (14)
Matching in Description Logics: Preliminary Results (1998) (14)
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts (2017) (14)
Appendix: description logic terminology (2003) (14)
Characterization of Unification Type Zero (1989) (14)
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors (1999) (14)
Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering (2018) (14)
Putting ABox Updates into Action (2009) (14)
Approximate Unification in the Description Logic FL_0 (2016) (13)
Combining Decision Procedures for Positive Theories Sharing Constructors (2002) (13)
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies (2020) (12)
On Language Equations with One-sided Concatenation (2013) (12)
Learning Formal Definitions for Biomedical Concepts (2013) (12)
Combining Equational Theories Sharing Non-Collapse-Free Constructors (2000) (12)
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata (2016) (12)
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair (2020) (12)
On the Decidability Status of Fuzzy ALC with General Concept Inclusions (2015) (11)
A Hardware/Software Stack for Heterogeneous Systems (2018) (11)
Runtime verification using the temporal description logic ALC-LTL revisited (2014) (11)
A new n-ary existential quantifier in description logics (2005) (11)
Query Rewriting for DL-Lite with n-ary Concrete Domains (2017) (11)
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints (2020) (11)
On the Complexity of Finding Good Proofs for Description Logic Entailments (2020) (11)
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes (2012) (11)
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification (1991) (10)
TBoxes do not Yield a Compact Representation of Least Common Subsumers (2001) (10)
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes (2011) (10)
Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (2007) (10)
UEL: Unification Solver for EL (2012) (10)
Combination of compatible reduction orderings that are total on ground terms (1997) (10)
Privacy-Preserving Ontology Publishing for EL Instance Stores (2019) (10)
Ontology-Based Monitoring of Dynamic Systems (2014) (10)
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles (2002) (10)
Semantic Technologies for Situation Awareness (2020) (9)
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies (1998) (9)
Rewrite Systems for Varieties of Semigroups (1990) (9)
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics (2012) (9)
An Overview of Tableau Algorithms for Description (2001) (9)
A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies (2012) (9)
The Guarded Fragment of Conceptual Graphs (1998) (9)
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints (2012) (9)
Connecting Many-Sorted Structures and Theories Through Adjoint Functions (2005) (9)
Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997 (1997) (9)
Rewriting Concepts Using Terminologies - Revisited (2000) (8)
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes (2021) (8)
Matching Concept Descriptions with Existential Restrictions (2000) (8)
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets (2019) (8)
Computing Extensions of Terminological Default Theories (1992) (8)
SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies (2012) (8)
The Data Complexity of Answering Instance Queries in FL0 (2018) (7)
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification (2016) (7)
Unification in Varieties of Completely Regular Semigroups (1990) (7)
Unification Properties of Commutative Theories: A Categorical Treatment (1989) (7)
Matching with Respect to General Concept Inclusions in the Description Logic EL (2014) (7)
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata (2018) (7)
A Basic Description Logic (2017) (7)
Expressive cardinality constraints on ALCSCC concepts (2019) (7)
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles (2002) (6)
A Note on Unification Type Zero (1988) (6)
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes (2008) (6)
Description Logics with Aggregates and Concrete Domains, Part II (1998) (6)
Heterogeneous information resources need semantic access (2001) (6)
On the Relation between Descripion Logics and Conceptual Graphs (1998) (6)
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints (2019) (6)
International Workshop on Description Logics (1994) (6)
Intelligent access to heterogeneous information sources (1997) (5)
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols (2020) (5)
The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞ME (2019) (5)
Description Logics with Concrete Domains and General Concept Inclusions Revisited (2020) (5)
Unification in the Description Logic EL without the Top Concept (2011) (5)
Mixing Description Logics in Privacy-Preserving Ontology Publishing (2019) (5)
Computing Minimal EL-unifiers is Hard (2012) (5)
Integrate Action Formalisms into Linear Temporal Description Logics (2009) (5)
On the Decidability Status of Fuzzy AℒC$\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions (2015) (5)
Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract) (2018) (5)
Complexity of language equations with one-sided concatenation and all Boolean operations (2007) (5)
Chair for Automata Theory LTCS – Report On the Complexity of Temporal Query Answering (2013) (4)
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0 (2017) (4)
The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding (2017) (4)
Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96 (1996) (4)
Conditional Rewriting Modulo a Built-in Algebra (2008) (4)
Extending the Description Logic τEL(deg) with Acyclic TBoxes (2016) (4)
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version (2022) (4)
Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries (2019) (4)
Computing Safe Anonymisations of Quantified ABoxes w.r.t. EL Policies (Extended Version) (2020) (4)
Repairing Description Logic Ontologies by Weakening Axioms (2018) (4)
Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞ME Under the Principle of Maximum Entropy (2019) (4)
Dismatching and Local Disunification in EL (2015) (4)
Preliminary Results on the Identity Problem in Description Logic Ontologies (2017) (4)
Hybrid Unification in the Description Logic EL (2013) (4)
Decidability and complexity of threshold description logics induced by concept similarity measures (2017) (3)
Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (2005) (3)
Expressive cardinality restrictions on concepts in a description logic with expressive number restrictions (2019) (3)
Computing Boundaries for Reasoning in Sub-Ontologies (2009) (3)
Adding Causal Relationships to DL-based Action Formalisms (2010) (3)
Working notes of the KI'95 Workshop : KRDB-95 - Reasoning about structured objects : knowledge representation meets databases ; Bielefeld, Germany, Sept. 11-12, 1995 (1995) (3)
Extensions of unification modulo ACUI (2019) (3)
Query Answering over DL ABoxes: How to Pick the Relevant Symbols (2009) (3)
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract) (2021) (3)
Dismatching and Local Disunification in EL (Extended Abstract) (2015) (3)
Deduction and applications (2006) (3)
Formalisms for Representing Ontologies : State of the Art Survey Deliverable TONES-D 06 (2006) (3)
Terminologi al y les in a des ription logi with existential restri tions (2019) (3)
On the Complexity of Temporal Query Answering (2013) (3)
Using model theory to find w-admissible concrete domains (2020) (3)
Unification of Concept Terms in Description Logics: Revised Version (1998) (3)
Frontiers of Combining Systems: First International Workshop, Munich, March 1996 (1996) (3)
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard (2020) (3)
Approximately Solving Set Equations (2016) (3)
Matching Trace Patterns with Regular Policies (2009) (2)
Approximate Unification in the Description Logic FL₀ (2016) (2)
Comparison of two Semantic Approaches to Unification (1998) (2)
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀ (2019) (2)
ACUI Unification modulo Ground Theories (2018) (2)
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs (2022) (2)
Hybrid Unification in the Description Logic (2013) (2)
Blocking and Pinpointing in Forest Tableaux (2008) (2)
De iding the Word Problem in the Union ofEquational Theories Sharing Constru tors (1999) (2)
On the problem of omputing small representations of least ommon subsumers (2)
Using Ontologies to Query Probabilistic Numerical Data (Extended Version) (2017) (2)
The Exact Unification Type of Commutative Theories (2015) (2)
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics (Extended Version) (2020) (2)
The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware (2016) (2)
Intelligent access to heterogeneous information sources: report on the 4th workshop on knowledge representation meets databases (1997) (2)
Computing Local Unifiers in the Description Logic EL without the Top Concept (2011) (2)
19th International Conference on Automated Deduction (CADE-19) (2005) (2)
Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996 (1996) (2)
Recent Advances in Unification for the EL Family (2014) (2)
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (2022) (2)
A Goal-Oriented Algorithm for Unification in (2012) (2)
Constructing SNOMED CT Concepts via Disunification (2017) (2)
Runtime Verification Using a Temporal Description Logic Revisited (2014) (2)
PSpace Automata with Blocking for Description Logics (2006) (2)
Restricted Unification in the DL FL₀ (Extended Version) (2021) (2)
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains (2022) (2)
Extending the Description Logic with Acyclic TBoxes (2016) (2)
Preface to Special Issue on Reasoning in Description Logics (2007) (2)
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor (2016) (2)
UEL: Unification Solver for the Description Logic ℇℒ - System Description (2012) (2)
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics (2021) (2)
On the Relation between Conceptual Graphs and Description Logics (1998) (2)
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles (2015) (2)
Tra table and De idable Fragments of Con eptual Graphs ? (2)
Blocking Automata for PSPACE DLs (2007) (2)
Belief Change in Reasoning Agents (2007) (1)
An Order Sorted Predicate Logic for Knowledge Representation Systems. L- Lilog Report and Iwbs Report 113, Ibm Stuttgart, 1990 (1)
Are Complete an Expressiv Terminological Systems Feasible? (1992) (1)
Engineering of Logics for the Content-Based Representation of Information (2002) (1)
Concept Descriptions with Set Constraints and Cardinality Constraints (2017) (1)
Des ription Logi s with Aggregates and Con rete Domains (2019) (1)
Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence (2001) (1)
A Bluffer's Guide to ml (1998) (1)
Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner (2021) (1)
Restricted Uniﬁcation in the Description Logic F L ⊥ (2022) (1)
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies (Extended Version) (2020) (1)
05431 Abstracts Collection - Deduction and Applications (2005) (1)
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 (2000) (1)
Extensions of Terminological Knowledge Representation Languages for Technical Applications (1996) (1)
Joint German/Austrian conference on artificial intelligence (KI-2001) (2002) (1)
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary (2016) (1)
Unification in the Description Logic (2011) (1)
Matching Concept Descriptions with Existential Restrictions Revisited (1999) (1)
Restricted Unification in the DL EL (2021) (1)
Chair for Automata Theory LTCS – Report On Language Equations with One-sided Concatenation (2006) (1)
Safety ofQuantified ABoxes w.r.t. Singleton EL Policies (2020) (1)
KI 2001: advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings (2001) (1)
Unification Theory - An Introduction (1997) (1)
Solving Language Equations and Disequations Using Looping Tree Automata with Colors (2012) (1)
AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems (1991) (1)
Term Rewriting and All That : Confluence (1998) (1)
KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 (1996) (1)
Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; Saarbrücken, September 20-22, 1994 (1994) (1)
Towards Privacy-Preserving Ontology Publishing (2018) (1)
Reasoning in the EL Family of Description Logics (2017) (1)
Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings (2003) (1)
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 (2008) (0)
Dagstuhl Seminar on Deduction a Reduction Ordering for Higher-order Terms Combination of Constraint Solving Techniques: an Algebraic Point of View Integrating Automated Deduction and Symbolic Computation Techniques Type Inferencing for First Order Logic with Polymorphic Order-sorted Types Decomposit (1995) (0)
Uni cation of Concept Terms { Extended (2019) (0)
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08 (2008) (0)
Concept Languages (2009) (0)
Gröbner Bases and Buchberger's Algorithm (1998) (0)
Uniication of Concept Terms in Description Logics 2 Uniication of Fl 0 -concept Terms (1998) (0)
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols (2022) (0)
Rewriting in Description Logics Using Terminologies (1999) (0)
HQA18 Workshop Chairs' Welcome & Organization (2018) (0)
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract) (2022) (0)
Deduction and Applications, 23.-28. October 2005 (2006) (0)
Temporalized Ontology-MediatedQuery Answering under Minimal-World Semantics (2021) (0)
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract) (2017) (0)
An apparatus for controlling and / or regulating processes (1987) (0)
05431 Executive Summary - Deduction and Applications (2005) (0)
Applying Formal Con ept Analysis to Des ription Logi s (2019) (0)
Reasoning and representation with concept languages (tutorial) (1990) (0)
The Description Logic Handbook: Bibliography (2007) (0)
From Tableaux to Automata for Des ription Logi s (2019) (0)
LTCS–Report Veriﬁcation of Golog Programs over Description Logic Actions (2013) (0)
Chair for Automata Theory LTCS – Report Approximately Solving Set Equations (2016) (0)
Unification in the Description Logic EL Without Top Constructor (2011) (0)
Term Rewriting and All That : Combination Problems (1998) (0)
Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability) (2009) (0)
A New n-ary Existential Quanti er in Des ription Logi s (2019) (0)
Term Rewriting and All That : Completion (1998) (0)
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner (2021) (0)
A New Combination Pro edure for the Word Problem that Generalizes Fusion De idability Results in Modal Logi s (2019) (0)
LTCS-Report Constructing SNOMEDCT Concepts via Disunification (2018) (0)
Pinpointing in Terminating Forest Tableaux (2008) (0)
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard (2020) (0)
Dwq : Esprit Long Term Research Project, No 22469 an Object-centered Multi-dimensional Data Model with Hierarchically Structured Dimensions an Object-centered Multi-dimensional Data Model with Hierarchically Structured Dimensions (1997) (0)
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht (1993) (0)
Hybrid EL-Unification is NP-complete (2013) (0)
Matching Concept Descriptions with Existential Restrictions Matching Concept Descriptions with Existential Restrictions (1999) (0)
International Workshop on Description Logics : Bonn, May 28/29, 1994 (1994) (0)
Overview: KRDB'95 (1995) (0)
Comparison of two Semantic Approaches to Unification Unification in Primal Algebras by Unification in Monoidal Theories (1998) (0)
Term Rewriting and All That : Abstract Reduction Systems (1998) (0)
07401 Executive Summary -- Deduction and Decision Procedures (2007) (0)
Invited Talks (2014) (0)
Unfication of Concept Terms in Description Logics (1997) (0)
Is Tra table Reasoning in Extensions of the Des ription Logi EL Useful in Pra ti e ? (2019) (0)
Restricted Unification in the DL FL0 (Extended Abstract) (2021) (0)
Deduction and Decision Procedures, 30.09. - 05.10.2007 (2007) (0)
CEL — A Short System Demonstration ∗ (2006) (0)
Universality Results for Spiking Neural P Systems with Cooperating Rules (2016) (0)
The instan e problem and the most spe i on ept in the des ription logi (2019) (0)
Standard and Non-Standard Inferences in the Description Logic FL 0 Using Tree Automata (Abstract) (cid:63) (2018) (0)
SMT Second-Order Principles in Speci cation Languages for Object-Oriented Programs (2006) (0)
Description Logics That Count, and What They Can and Cannot Count (Extended Abstract) (2020) (0)
Error-Tolerant Reasoning in the Description Logic Eℒ Based on Optimal Repairs (2022) (0)
Least ommon subsumers , most spe i on epts , and role-value-maps in a des ription logi with existential restri tions and terminologi (2019) (0)
A Little Bit of Model Theory (2017) (0)
07401 Abstracts Collection Deduction and Decision Procedures Dagstuhl Seminar (2007) (0)
Fusions of Des ription Logi s (2019) (0)
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions (2020) (0)
IJCAI-07 Reviewers (2007) (0)
A Terminologi al Knowledge Representation System with Complete Inferen e Algorithms (2019) (0)
And Inference System -system Description- Deutsches Forschungszentrum Fur Kunstliche Intelligenz Deutsches Forschungszentrum Fur Konstliche Intelligenz (2005) (0)
LTCS – Report Putting ABox Updates into Action (2009) (0)
Language equations for approximate matching in the Description Logic FL 0 (2017) (0)
Theory { An Introduction (cid:3) (2019) (0)
Ontology Languages and Applications (2017) (0)
Cyclic, Transitive, and Concrete Extensions of Concept Languages (1991) (0)
Proof-theoretic Techniques for Standard and Non-standard Inference Services in EL w . r . t . Hybrid TBoxes (2013) (0)
Safety of quantified ABoxes w.r.t. singleton εL policies (2021) (0)
Formalizing biomedical concepts from textual definitions (2015) (0)
Error-Tolerant Reasoning in the Description Logic EL Based on Optimal Repairs (cid:63) (2022) (0)
Efficient TBox Reasoning with Value Restrictions using the FL o wer reasoner (2021) (0)
Reasoning with Annotated Description Logic Ontologies an (2015) (0)
Max-planck-institut F Ur Informatik a Multi-dimensional Terminological Knowledge Representation Language K I N F O R M a T I K Authors' Addresses Publication Notes (2007) (0)
Matching linear and non-linear trace patterns with regular policies (2008) (0)
Making Repairs in Description Logics More Gentle (Extended Abstract) (2018) (0)
Chair for Automata Theory LTCS – Report Axiom Pinpointing in General Tableaux (2007) (0)
Decidability and Complexity of Fuzzy Description Logics (2016) (0)
A Graph-Theoreti Generalization of the Least Common Subsumer and the Most Spe i Con ept in the Des ription Logi (2019) (0)
Proceedings of the 18th international conference on Term rewriting and applications (2007) (0)
Than Average Cases in Full Alc with Random Grammar (1995) (0)
Chair for Automata Theory LTCS – Report Pinpointing in Terminating Forest Tableaux (2019) (0)
The Description Logic Handbook: Preface (2007) (0)
On the Complexity and Expressiveness of Description Logics with Counting (2019) (0)
Tutorial on Reasoning and Representation with Concept Languages (1990) (0)
Integrating Des ription Logi s and A tion Formalisms for Reasoning about Web (2019) (0)
Uni ation in a Des ription Logi with In onsisten y and Transitive Closure of Roles (2019) (0)
Reasoning in DLs with Tableau Algorithms (2017) (0)
Evonne : A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging (2023) (0)
Fermenta cognitionis, Heft 1. (0)
Report RR-93-03 An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or : IMaking KRIS get a move on (2005) (0)
Itlich. an Empirical Analysis of Optimization Techniques for Terminological Repre- Sentation Systems. Applied Intelligence, 4(2):109{132, April 1994. Kluwer Academic Publishers. Special Issue on Knowledge Base Management. Edited (2007) (0)
On the Complexity of Boolean Uni cation (2019) (0)
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox (2021) (0)
2 Basic Description Logics (2011) (0)
07401 Abstracts Collection -- Deduction and Decision Procedures (2007) (0)

This paper list is powered by the following services:

Other Resources About Franz Baader

en.wikipedia.org

What Schools Are Affiliated With Franz Baader?

Franz Baader is affiliated with the following schools:

Franz Baader's Academic­Influence.com Rankings

Why Is Franz Baader Influential?

Franz Baader's Published Works

Published Works

Other Resources About Franz Baader

What Schools Are Affiliated With Franz Baader?

Franz Baader's AcademicInfluence.com Rankings