Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs

DOI10.1007/978-3-642-04238-6_9zbMath1258.68027OpenAlexW1604839944MaRDI QIDQ3643107

Giovambattista Ianni, Francesco Calimeri, Nicola Leone, Susanna Cozza

Publication date: 10 November 2009

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-04238-6_9

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Disjunctive ASP with functions: Decidable queries and effective computation

Uses Software

• DLV-Complex

This page was built for publication: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs