DOI10.1017/S1471068412000269zbMath1261.68037arXiv1210.5222MaRDI QIDQ4911145
Joohyung Lee, Joseph Babb
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.5222
zbMATH Keywords
splitting theorem; answer set programming; module theorem
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68N17: Logic programming
Uses Software