Efficient HEX-Program Evaluation Based on Unfounded Sets
Published in Journal of Artificial Intelligence Research • Feb 26, 2014
NobleIDNI2P29W96R72S05
Authors:,,
Thomas Eiter
Michael Fink
Thomas Krennwallner
Abstract
HEX-programs extend logic programs under the answer set semantics with external computations through external atoms. As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of ans...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!