Dynamic Magic Sets for Programs with Monotone Recursive Aggregates

DOI10.1007/978-3-642-20895-9_14zbMath1239.68019OpenAlexW1571490841WikidataQ62041934 ScholiaQ62041934MaRDI QIDQ3003251

Gianluigi Greco, Mario Alviano, Nicola Leone

Publication date: 26 May 2011

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20895-9_14

zbMATH Keywords

disjunctive logic programmingmagic setsrecursive aggregates

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Shared aggregate sets in answer set programming, Enhancing Magic Sets with an Application to Ontological Reasoning