The following pages link to Computing with default logic (Q1606312):
Displaying 7 items.
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Automated non-monotonic reasoning in System \textbf{P} (Q2043430) (← links)
- Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics (Q2814376) (← links)
- Seminormalizing a default theory (Q3647232) (← links)
- XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)
