The following pages link to Skeptical rational extensions (Q5101455):
Displaying 4 items.
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- A comparative survey of default logic variants (Q4632286) (← links)
- Semi-representability of default theories in rational default logic (Q5236433) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)
