The following pages link to (Q5426204):
Displaying 11 items.
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- A General Framework for Stable Roommates Problems using Answer Set Programming (Q5140025) (← links)
- Relativized Hyperequivalence of Logic Programs for Modular Programming (Q5504681) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)
- Hybrid planning for challenging construction problems: an answer set programming approach (Q6161492) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)
