Nested Weight Constraints in ASP

作者：Costantini Stefania^*; Formisano Andrea

来源：Fundamenta Informaticae, 2013, 124(4): 449-464.

DOI：10.3233/FI-2013-843

• Weight constraints in ASP
• Non-monotonic reasoning
• Knowledge representation

Weight constraints are a powerful programming construct that has proved very useful within the Answer Set Programming paradigm. In this paper, we argue that practical Answer Set Programming might take profit from introducing some forms of nested weight constraints. We define such empowered constraints (that we call %26quot;Nested Weight Constraints%26quot;) and discuss their semantics and their complexity.

• 出版日期2013