The following pages link to Autocircumscription (Q1105394):
Displayed 4 items.
- John McCarthy's legacy (Q543573) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)