The following pages link to (Q3413498):
Displaying 5 items.
- Answer Set Programming: A Primer (Q3638997) (← links)
- Magic templates: a spellbinding approach to logic programs (Q3988795) (← links)
- Modular action language (Q4593024) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)