The following pages link to (Q4246971):
Displaying 6 items.
- Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
- General default logic (Q987485) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Propositional default logics made easier: computational complexity of model checking. (Q1853549) (← links)
- On the intertranslatability of non-monotonic logics (Q1978031) (← links)