Stable model semantics of weight constraint rules (1999) [31 citations — 5 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Simons99stablemodel,author = {Patrik Simons and Timo Soininen},
title = {Stable model semantics of weight constraint rules},
booktitle = {In Proceedings of the 5th International Conference on on Logic Programming and Nonmonotonic Reasoning},
year = {1999},
pages = {317--331},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Abstract. A generalization of logic program rules is proposed where rules are built from weight constraints with type information for each predicate instead of simple literals. These kinds of constraints are useful for concisely representing dierent kinds of choices as well as cardinality, cost and resource constraints in combinatorial problems such as product con guration. A declarative semantics for the rules is presented which generalizes the stable model semantics of normal logic programs. It is shown that for ground rules the complexity of the relevant decision problems stays in NP. The rst implementation of the language handles a decidable subset where function symbols are not allowed. It is based on a new procedure for computing stable models for ground rules extending normal programs with choice and weight constructs and a compilation technique where a weight rule with variables is transformed to a set of such simpler ground rules. 1
