The following pages link to (Q4955333):
Displaying 4 items.
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)