The following pages link to A new research into default logic (Q2506484):
Displaying 8 items.
- Characterizations and algorithms of extensions for CADL and QDL (Q1288432) (← links)
- On extensions of general default theories (Q1312967) (← links)
- Some results on default logic (Q1333373) (← links)
- Characterization of an auto-compatible default theory (Q1415949) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- (Q3773851) (← links)
- (Q4028783) (← links)
- Constraints on extensions of a default theory (Q5959353) (← links)