A theory of diagnosis from first principles
Artificial Intelligence
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Querying disjunctive databases through nonmonotonic logics
Theoretical Computer Science
A new research into default logic
Information and Computation
Computation of extensions of seminormal default theories
Fundamenta Informaticae
Tractable Reasoning in Artificial Intelligence
Tractable Reasoning in Artificial Intelligence
Introduction to Default Logic
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
Fixed-parameter tractability of disjunction-free default reasoning
Journal of Computer Science and Technology
| Hi-index | 0.00 |
In this paper, the representability of a family of theories as the set of extensions of a default theory is studied. First, a new necessary condition is given for the representability by means of general default theories; then a sufficient one is presented. The families of theories represented by default theories are also fully characterized. Finally, the paper gives an example of denumerable families of mutually inconsistent theories that are represented by a default theory but not by normal ones.