Photo from academic.microsoft.com
Abstract This paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this… Click to show full abstract
Abstract This paper describes an approach to the methodology of answer set programming 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.
Keywords:
methodology;
set programming;
answer set;
achievements answer;
program;
programming achievements
Journal Title: Theory and Practice of Logic Programming
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Theory and Practice of Logic Programming
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!