Nested weight constraints in ASP

DOI10.3233/FI-2013-843MaRDI QIDQ2841957zbMATH OpenFDO

Authors Andrea Formisano, Tefania Costantini

Publication date 30 July 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

knowledge representationnon-monotonic reasoningweight constraints in ASP

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Weight constraints as nested expressions
• Weight constraints with preferences in ASP
• Extending and implementing the stable model semantics
• Publication:4955344
• Relating weight constraint and aggregate programs: semantics and representation

Cited in

(8)

• \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
• Computing weighted solutions in ASP: representation-based method vs. search-based method
• Weight constraints with preferences in ASP
• Adding Metalogic Features to Knowledge Representation Languages*
• Weight constraint programs with evaluable functions
• Computing Weighted Solutions in Answer Set Programming
• Tractable answer-set programming with weight constraints: bounded treewidth is not enough
• Weight constraints as nested expressions

This page was built for publication: Nested weight constraints in ASP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841957)