The following pages link to Some results on default logic (Q1333373):
Displaying 10 items.
- Characterizations and algorithms of extensions for CADL and QDL (Q1288432) (← links)
- On extensions of general default theories (Q1312967) (← links)
- Default logic about assertions (Q1344433) (← links)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- Yet some more complexity results for default logic (Q1606113) (← links)
- New proofs in default logic theory (Q1924751) (← links)
- Consistency defaults (Q2454638) (← links)
- A new research into default logic (Q2506484) (← links)
- (Q3773851) (← links)
- (Q4028783) (← links)