DOI10.1017/S1471068413000549zbMath1286.68041MaRDI QIDQ5398316
Joohyung Lee, Michael Bartholomew
Publication date: 27 February 2014 Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
zbMATH Keywords
answer set programming; stable models; intensional functions
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68N17: Logic programming