Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Extending and implementing the stable model semantics
Artificial Intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Theory and Practice of Logic Programming
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
Fages' Theorem for Programs with Nested Expressions
Proceedings of the 17th International Conference on Logic Programming
Strong equivalence made easy: nested expressions and weight constraints
Theory and Practice of Logic Programming
Answer Set Programming Based on Propositional Satisfiability
Journal of Automated Reasoning
Updates in answer set programming: An approach based on basic structural properties
Theory and Practice of Logic Programming
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logic Language with Stable Model Semantics for Social Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
SAT-based answer set programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Logic programs with abstract constraint atoms
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Weight Constraint Programs with Functions
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Input Language of ASP Grounder Gringo
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A reductive semantics for counting and choice in answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Properties and applications of programs with monotone and convex constraints
Journal of Artificial Intelligence Research
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generic tableaux for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Thirteen definitions of a stable model
Fields of logic and computation
Compact translations of non-disjunctive answer set programs to propositional clauses
Logic programming, knowledge representation, and nonmonotonic reasoning
Weight constraint programs with evaluable functions
Annals of Mathematics and Artificial Intelligence
Synonymous theories and knowledge representations in answer set programming
Journal of Computer and System Sciences
On modular translations and strong equivalence
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer sets for propositional theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CMODELS: SAT-based disjunctive answer set solver
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Reducing propositional theories in equilibrium logic to logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Computing weighted solutions in ASP: representation-based method vs. search-based method
Annals of Mathematics and Artificial Intelligence
Look-back Techniques for ASP Programs with Aggregates
Fundamenta Informaticae
Disjunctive programs with set constraints
Correct Reasoning
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Action language BC: preliminary report
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Relating constraint answer set programming languages and algorithms
Artificial Intelligence
Nested Weight Constraints in ASP
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
We compare two recent extensions of the answer set (stable model) semantics of logic programs. One of them, due to Lifschitz, Tang and Turner, allows the bodies and heads of rules to contain nested expressions. The other, due to Niemelä and Simons, uses weight constraints. We show that there is a simple, modular translation from the language of weight constraints into the language of nested expressions that preserves the program's answer sets. Nested expressions can be eliminated from the result of this translation in favor of additional atoms. The translation makes it possible to compute answer sets for some programs with weight constraints using satisfiability solvers, and to prove the strong equivalence of programs with weight constraints using the logic of here-and-there.