scientific article; zbMATH DE number 5996835

MaRDI QIDQ3112638zbMATH OpenFDO

Authors M. Alviano, Francesco Calimeri, Wolfgang Faber, N. Leone, Simona Perri

Publication date 12 January 2012

zbMATH Keywords

answer set programminglogic programminglogic programs with aggregatesprograms with monotone and antimonotone aggregatessemanticswell-founded semantics

Mathematics Subject Classification ID

Logic programming (68N17) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• A Constructive semantic characterization of aggregates in answer set programming
• On Reductive Semantics of Aggregates in Answer Set Programming
• scientific article; zbMATH DE number 2085279
• Well-founded and stable semantics of logic programs with aggregates
• Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
• Semantics and complexity of recursive aggregates in answer set programming
• On the Complexity of Answer Set Programming with Aggregates
• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Cited in

(12)

• Polynomial approximation to well-founded semantics for logic programs with generalized atoms: case studies
• Well-founded and stable semantics of logic programs with aggregates
• On Reductive Semantics of Aggregates in Answer Set Programming
• Shared aggregate sets in answer set programming
• Well-founded operators for normal hybrid MKNF knowledge bases
• Rewriting recursive aggregates in answer set programming: back to monotonicity
• scientific article; zbMATH DE number 2085279 (Why is no real title available?)
• ASP-Core-2 input language format
• Reconciling well-founded semantics of DL-programs and aggregate programs
• Logic Programming and Nonmonotonic Reasoning
• Aggregation and well-founded semantics\textsuperscript{+}
• Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck

Describes a project that uses

Uses Software

• XSB

This page was built for publication:

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