The following pages link to A logic for default reasoning (Q1140434):
Displaying 12 items.
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- Circumscription - a form of non-monotonic reasoning (Q1140440) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← links)
- The complexity of propositional closed world reasoning and circumscription (Q1329160) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- New proofs in default logic theory (Q1924751) (← links)
- SCC-recursiveness: a general schema for argumentation semantics (Q2457654) (← links)
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION (Q3528982) (← links)
- Towards Context Sensitive Defeasible Rules (Q3602951) (← links)
