scientific article
From MaRDI portal
Publication:3112638
zbMath1234.68367MaRDI QIDQ3112638
Nicola Leone, Simona Perri, Mario Alviano, Francesco Calimeri, Wolfgang Faber
Publication date: 12 January 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
well-founded semanticssemanticslogic programminganswer set programminglogic programs with aggregatesprograms with monotone and antimonotone aggregates
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic programming (68N17)
Related Items
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, ASP-Core-2 Input Language Format
Uses Software