Pages that link to "Franz Baader"
From Tetherless World Wiki
(List of links)
> Franz BaaderThe following pages link to Franz Baader:
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)- WI 2007 Notes of Jie Bao (← links)
- How to Prefer More Specific Defaults in Terminological Default Logic (← links)
- Embedding Defaults into Terminological Knowledge Representation Formalisms (← links)
- Deborah L. McGuinness (← links)
- Description Logics as Ontology Languages for the Semantic Web (← links)
- Matching in Description Logics: Preliminary Results (← links)
- Ian Horrocks (← links)
- Description Logics for the Semantic Web (← links)
- An Overview of Tableau Algorithms for Description Logics (← links)
- Pushing the EL Envelope Further (← links)
- Ulrike Sattler (← links)
- Carsten Lutz (← links)
- Frank Wolter (← links)
- Alexander Borgida (← links)
- Description Logics (← links)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages (← links)
- Integrating Description Logics and Action Formalisms: First Results (← links)
- Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles (← links)
- Terminological Cycles in a Description Logic with Existential Restrictions (← links)
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles (← links)
- Matching under Side Conditions in Description Logics (← links)
- Pushing the EL Envelope (← links)
- A Scheme for Integrating Concrete Domains into Concept Languages (← links)
- Computing Least Common Subsumers in Description Logics with Existential Restrictions (← links)
- Terminological Logics with Modal Operators (← links)
- Completing Description Logic Knowledge Bases Using Formal Concept Analysis (← links)
- Deborah L. McGuinness/Publication (← links)
- Completing Description Logic Knowledge Bases using Formal Concept Analysis (← links)
- Description logics with aggregates and concrete domains (← links)
- Expressive Number Restrictions in Description Logics (← links)
- Description Logics with Concrete Domains and Aggregation (← links)
- Description Logics with Aggregates and Concrete Domains (← links)
- Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (← links)
- Knowledge Representation in Process Engineering (← links)
- Description Logics with Symbolic Number Restrictions (← links)
- LTL over Description Logic Axioms (← links)
- CEL - A Polynomial-Time Reasoner for Life Science Ontologies (← links)
- From Tableaux to Automata for Description Logics (← links)
- Fusions of Description Logics and Abstract Description Systems (← links)
- Fusions of Description Logics (← links)
- Extensions to Description Logics (← links)
