The following pages link to (Q4537442):
Displayed 15 items.
- Defeasible inheritance with doubt index and its axiomatic characterization (Q622128) (← links)
- Lexicographic priorities in default logic (Q1277698) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Multi-interpretation operators and approximate classification. (Q1395581) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Expressing preferences in default logic (Q1589465) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic (Q1896367) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Defaults with priorities (Q2642474) (← links)
- Handling Exceptions in Logic Programming without Negation as Failure (Q3011970) (← links)
- Studying properties of classes of default logics (Q4421278) (← links)
- A compositional reasoning system for executing nonmonotonic theories of reasoning (Q4422635) (← links)
- An argument-based approach to reasoning with specificity (Q5958392) (← links)