Improving the normalization of weight rules in answer set programs
From MaRDI portal
Recommendations
- Normalizing cardinality rules using merging and sorting constructions
- \textsc{lp2normal} -- a normalization tool for extended logic programs
- Extending and implementing the stable model semantics
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
- Rewriting optimization statements in answer-set programs
Cites work
- A linear-time transformation of linear inequalities into conjunctive normal form
- A New Look at BDDs for Pseudo-Boolean Constraints
- A parametric approach for smaller and better encodings of cardinality constraints
- Answer set programming based on propositional satisfiability
- Applying visible strong equivalence in answer-set program transformations
- ASSAT: computing answer sets of a logic program by SAT solvers
- Cardinality networks: a theoretical and empirical study
- Compact translations of non-disjunctive answer set programs to propositional clauses
- Computing Stable Models via Reductions to Difference Logic
- Conflict-driven answer set solving: from theory to practice
- Constraint propagation for first-order logic and inductive definitions
- Design and implementation of aggregate functions in the DLV system
- Extending and implementing the stable model semantics
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 5139161 (Why is no real title available?)
- scientific article; zbMATH DE number 5139168 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 1453070 (Why is no real title available?)
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- Logic programs with stable model semantics as a constraint programming paradigm
- Nested expressions in logic programs
- New Encodings of Pseudo-Boolean Constraints into CNF
- Normalizing cardinality rules using merging and sorting constructions
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
- Optimal base encodings for pseudo-Boolean constraints
- The DLV system for knowledge representation and reasoning
- Weight constraints as nested expressions
Cited in
(19)- Paracoherent answer set computation
- A multiparametric view on answer set programming
- \textsc{lp2normal} -- a normalization tool for extended logic programs
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination
- Normalizing cardinality rules using merging and sorting constructions
- The Design of the Sixth Answer Set Programming Competition
- Shared aggregate sets in answer set programming
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Complexity and compilation of GZ-aggregates in answer set programming
- Optimizing phylogenetic supertrees using answer set programming
- The Seventh Answer Set Programming Competition: Design and Results
- Boosting Answer Set Optimization with Weighted Comparator Networks
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Rewriting optimization statements in answer-set programs
- Solution Enumeration by Optimality in Answer Set Programming
- Aspmc: new frontiers of algebraic answer set counting
- On the foundations of grounding in answer set programming
- Aggregate semantics for propositional answer set programs
- How to build your own ASP-based system?!
This page was built for publication: Improving the normalization of weight rules in answer set programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938492)
