Magic sets for disjunctive Datalog programs
From MaRDI portal
Publication:1761296
DOI10.1016/j.artint.2012.04.008zbMath1251.68051arXiv1204.6346WikidataQ62041924 ScholiaQ62041924MaRDI QIDQ1761296
Nicola Leone, Gianluigi Greco, Wolfgang Faber, Mario Alviano
Publication date: 15 November 2012
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1204.6346
68N17: Logic programming
Uses Software