Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis

DOI10.1007/978-3-642-20895-9_22zbMath1327.68059OpenAlexW1601817297WikidataQ59216056 ScholiaQ59216056MaRDI QIDQ3003259

Rosamaria Barilaro, Giorgio Terracina, Francesco Ricca

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_22

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items

Lpopt: a rule optimization tool for answer set programming

Uses Software

• OpenRuleBench