Efficiently Coupling the I-DLV Grounder with ASP Solvers
From MaRDI portal
Publication:4957193
DOI10.1017/S1471068418000546zbMath1472.68179arXiv1810.00041MaRDI QIDQ4957193
Francesco Calimeri, Carmine Dodaro, Simona Perri, Jessica Zangari, Davide Fuscà
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/1810.00041
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Uses Software