Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
From MaRDI portal
Publication:4911144
DOI10.1017/S1471068412000257zbMath1260.68055arXiv1210.2316MaRDI QIDQ4911144
Nicola Leone, Wolfgang Faber, Mario Alviano, Marco Manna
Publication date: 13 March 2013
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.2316
68N17: Logic programming
Uses Software