Constraint Answer Set Programming without Grounding
From MaRDI portal
Publication:4559798
DOI10.1017/S1471068418000285zbMath1451.68063arXiv1804.11162MaRDI QIDQ4559798
Manuel Carro, Gopal Gupta, Kyle Marple, Joaquin Arias, Elmer Salazar
Publication date: 4 December 2018
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.11162
Uses Software