DOI10.1016/j.artint.2019.01.001zbMath1478.68341MaRDI QIDQ2321299
Joohyung Lee, Michael Bartholomew
Publication date: 28 August 2019 Published in: Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.artint.2019.01.001
zbMATH Keywords
answer set programming; satisfiability modulo theories; intensional functions
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68N17: Logic programming
Uses Software