Achievements in answer set programming*. Issue 5 (30th August 2017)

• Record Type: Journal Article
• Authors: LIFSCHITZ, VLADIMIR
• Editors: Rocha, Ricardo; Cao Son, Tran
• Is Part Of: Theory and practice of logic programming. Volume 17:Issue 5/6(2017)
• Page Start: 961
• Page End: 973
• Publication Date: 2017-08-30
• Subjects: answer set programming, -- teaching logic programming, -- programming methodology; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068417000345
• Languages: English
• ISSNs: 1471-0684

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.