The following pages link to (Q4028824):
Displayed 4 items.
- Contributions to the stable model semantics of logic programs with negation (Q672705) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- A framework for controlling model-based diagnosis systems with multiple actions (Q1924804) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)