The following pages link to Answer Set Programming: A Primer (Q3638997):
Displaying 35 items.
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← 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)
- Answer Set Programming with Resources (Q3553920) (← 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)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- Rule Induction and Reasoning over Knowledge Graphs (Q6163650) (← links)
- Answer set programming made easy (Q6175107) (← links)
- An Introduction to Answer Set Programming and Some of Its Extensions (Q6488098) (← links)
- Logic-based learning of answer set programs (Q6535987) (← links)
- Explaining answers generated by knowledge graph embeddings (Q6577672) (← links)
- Logic programming (Q6602251) (← links)
- Languages for probabilistic modeling over structured and relational domains (Q6602256) (← links)