Weight constraints as nested expressions
From MaRDI portal
Recommendations
Cited in
(42)- Semi-equilibrium models for paracoherent answer set programs
- Transition systems for model generators -- a unifying approach
- Generating explanations for biomedical queries
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
- The possibilistic Horn non-clausal knowledge bases
- Semantics and complexity of recursive aggregates in answer set programming
- First-order modular logic programs and their conservative extensions
- Twelve Definitions of a Stable Model
- Equilibrium logic
- Synonymous theories and knowledge representations in answer set programming
- Computing weighted solutions in ASP: representation-based method vs. search-based method
- scientific article; zbMATH DE number 2085281 (Why is no real title available?)
- Improving the normalization of weight rules in answer set programs
- Relating constraint answer set programming languages and algorithms
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Disjunctive Programs with Set Constraints
- Answer set programming based on propositional satisfiability
- On the foundations of grounding in answer set programming
- Aggregate semantics for propositional answer set programs
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- Answer set programming made easy
- On relation between constraint answer set programming and satisfiability modulo theories
- Abstract gringo
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Parameterized Weighted Containment
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
- Constraint answer set solver EZCSP and why integration schemas matter
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Finding similar/diverse solutions in answer set programming
- Inferring phylogenetic trees using answer set programming
- Computationally hard problems for logic programs under answer set semantics
- Probabilistic reasoning with answer sets
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Nested weight constraints in ASP
- Weight constraint programs with evaluable functions
- Relating weight constraint and aggregate programs: semantics and representation
- What is answer set programming to propositional satisfiability
- Thirteen Definitions of a Stable Model
- Strong equivalence made easy: nested expressions and weight constraints
- Shared aggregate sets in answer set programming
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
This page was built for publication: Weight constraints as nested expressions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4673539)
