Pages that link to "Item:Q2694586"
From MaRDI portal
The following pages link to Towards causality-based conflict resolution in answer set programs (Q2694586):
Displaying 3 items.
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Representing the language of the causal calculator in answer set programming (Q2909140) (← links)