Has author Ullrich Hustadt
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Ullrich Hustadt"- Combinations of Modal Logics +
- Data Complexity of Reasoning in Very Expressive Description Logics +
- On Evaluating Decision Procedures for Modal Logic +
- On the Relation of Resolution and Tableaux Proof Systems for Description Logics +
- Deciding expressive description logics in the framework of resolution +
- Reasoning in Description Logics by a Reduction to Disjunctive Datalog +
- Description Logics and Disjunctive Datalog The Story so Far +
- Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution +
- Reducing SHIQ-Description Logic to Disjunctive Datalog Programs +
- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi +
- Automated Reasoning About Metric and Topology +
