The following pages link to Logic Programming (Q5191497):
Displayed 9 items.
- ASSAT: computing answer sets of a logic program by SAT solvers (Q814607) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)