Abstract gringo. Issue 4 (3rd September 2015)

• Record Type: Journal Article
• Authors: GEBSER, MARTIN; HARRISON, AMELIA; KAMINSKI, ROLAND; LIFSCHITZ, VLADIMIR; SCHAUB, TORSTEN
• Editors: Eiter, Thomas; Toni, Francesca
• Is Part Of: Theory and practice of logic programming. Volume 15:Issue 4/5(2015)
• Page Start: 449
• Page End: 463
• Publication Date: 2015-09-03
• Subjects: Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068415000150
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: This paper defines the syntax and semantics of the input language of the ASP groundergringo . The definition covers several constructs that were not discussed in earlier work on the semantics of that language, including intervals, pools, division of integers, aggregates with non-numeric values, and lparse-style aggregate expressions. The definition is abstract in the sense that it disregards some details related to representing programs by strings of ASCII characters. It serves as a specification forgringo from Version 4.5 on.