The following pages link to Answer Set Programming: A Primer (Q3638997):
Displaying 25 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Relational data factorization (Q1699908) (← links)
- Modeling multi-valued biological interaction networks using fuzzy answer set programming (Q1795202) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- Learning Boolean controls in regulated metabolic networks: a case-study (Q2142113) (← links)
- Analogical proportions (Q2149806) (← links)
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Complexity results for probabilistic answer set programming (Q2302961) (← links)
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- Solving Disjunctive Fuzzy Answer Set Programs (Q3449229) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Hybrid ASP-based Approach to Pattern Mining (Q4957187) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
