The following pages link to (Q4298363):
Displaying 8 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Restricted semantics for default reasoning (Q1757453) (← links)
- Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- Well-founded and stationary models of logic programs (Q1924748) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917) (← links)
