The following pages link to (Q4955344):
Displaying 23 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Logic programming with infinite sets (Q812390) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Fixed-parameter complexity in AI and nonmonotonic reasoning (Q1603733) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Approximate weighted model integration on DNF structures (Q2082501) (← links)
- Rough set reasoning using answer set programs (Q2237125) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Strong Equivalence of RASP Programs (Q2900516) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Answer Set Programming without Unstratified Negation (Q5504649) (← links)
- Logic programming (Q6602251) (← links)
