Has where published J. Autom. Reasoning
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "J. Autom. Reasoning"- Embedding Defaults into Terminological Knowledge Representation Formalisms +
- Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability +
- A Tableau Decision Procedure for SHOIQ +
- Optimizing Terminological Reasoning for Expressive Description Logics +
- Resolution Theorem Proving in Reified Modal Logics +
- Reasoning in Description Logics by a Reduction to Disjunctive Datalog +
- A Decidable First-Order Logic for Knowldge Representation +
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes +
- Debugging Incoherent Terminologies +
- Data Complexity of Query Answering in Expressive Description Logics via Tableaux +
- Answer Set Programming Based on Propositional Satisfiability +
- Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning +
- What Is the Inverse Method? +
