The following pages link to Logic Programming (Q5313212):
Displaying 9 items.
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Look-back techniques for ASP programs with aggregates (Q2895770) (← links)
- Logic programs with propositional connectives and aggregates (Q2946644) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424890) (← links)