The following pages link to (Q4282499):
Displaying 4 items.
- On the complexity of extension checking in default logic (Q844157) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Default extensions: Dealing with computer information (Q1402740) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)