Optimizing Answer Set Computation via Heuristic-Based Decomposition
From MaRDI portal
Publication:4957190
DOI10.1017/S1471068419000036zbMath1472.68024arXiv1812.09718MaRDI QIDQ4957190
Francesco Calimeri, Simona Perri, Jessica Zangari
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.09718
knowledge representation; nonmonotonic reasoning; logic programming; answer set programming; databases; semantic web reasoning
Uses Software