Stable model semantics of weight constraint rules
From MaRDI portal
Recommendations
Cited in
(30)- My work with Victor Marek: a mathematician looks at answer set programming
- Fixed-parameter complexity in AI and nonmonotonic reasoning
- Extending and implementing the stable model semantics
- Automated verification of state sequence invariants in general game playing
- Brave induction: a logical framework for learning from incomplete information
- Fixed point semantics for stream reasoning
- Approximate weighted model integration on DNF structures
- Rough set reasoning using answer set programs
- Supportedly stable answer sets for logic programs with generalized atoms
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Extending the Smodels system with cardinality and weight constraints
- Nested weight constraints in ASP
- Relating weight constraint and aggregate programs: semantics and representation
- Strong equivalence of RASP programs
- Disjunctive Programs with Set Constraints
- Weight Constraint Programs with Functions
- Computing weighted solutions in ASP: representation-based method vs. search-based method
- scientific article; zbMATH DE number 1066727 (Why is no real title available?)
- Argumentation-based semantics for logic programs with first-order formulae
- RASP and ASP as a fragment of linear logic
- On the relation between SPARQL1.1 and Answer Set Programming
- scientific article; zbMATH DE number 7047283 (Why is no real title available?)
- \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
- Answer Set Programming for Single-Player Games in General Game Playing
- Containment in Rule-Based Models
- Quo Vadis Answer Set Programming?
- Answer Set Programming without Unstratified Negation
- Logic programming
- Specifying and reasoning about CPS through the lens of the NIST CPS framework
- Logic programming with infinite sets
This page was built for publication: Stable model semantics of weight constraint rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4955344)
