Fages' Theorem and Answer Set Programming
We generalize a theorem by Francois Fages that describes the relationship between the completion semantics and the answer set semantics
arxiv.orgrank this link
1 indexed results
We generalize a theorem by Francois Fages that describes the relationship between the completion semantics and the answer set semantics