Achievements in Answer Set Programming
Artificial Intelligence
2019-08-08 v2
Abstract
This paper describes an approach to the methodology of answer set programming (ASP) that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program we include a comment that states what has been "achieved" so far. This strategy allows us to set out our understanding of the design of the program by describing the roles of small parts of the program in a mathematically precise way.
Cite
@article{arxiv.1608.08144,
title = {Achievements in Answer Set Programming},
author = {Vladimir Lifschitz},
journal= {arXiv preprint arXiv:1608.08144},
year = {2019}
}
Comments
Revised version of a paper published in Theory and Practice of Logic Programming