Abstract gringo

被引：54

作者：

Gebser, Martin ^{[1
,2
]}

Harrison, Amelia ^{[3
]}

Kaminski, Roland ^{[4
]}

Lifschitz, Vladimir ^{[5
]}

Schaub, Torsten ^{[6
,7
,8
,9
]}

机构：

[1] Aalto Univ, HIIT, Espoo, Finland

[2] Univ Potsdam, Potsdam, Germany

[3] Univ Texas Austin, Austin, TX 78712 USA

[4] Univ Potsdam, Potsdam, Germany

[5] Univ Texas Austin, Austin, TX 78712 USA

[6] Univ Potsdam, Potsdam, Germany

[7] INRIA Rennes, Rennes, France

[8] Simon Fraser Univ, Burnaby, BC V5A 1S6, Canada

[9] IIIS Griffith Univ, Griffith, NSW, Australia

来源：

THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2015年 / 15卷

基金：

美国国家科学基金会;

关键词：

D O I：

10.1017/S1471068415000150

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper defines the syntax and semantics of the input language of the ASP grounder gringo. 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 for gringo from Version 4.5 on.

引用

页码：449 / 463

页数：15

共 9 条

[1]

Calimeri F., 2012, Asp-core-2: Input language format

[2] Answer sets for propositional theories [J].

Ferraris, P .

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 :119-131

[3] Weight constraints as nested expressions [J].

Ferraris, P ;

Lifschitz, V .

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 :45-74

[4]

Gebser Martin, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Essays Dedicated to Michael Gelfond on the Occasion of his 65th Birthday, P74, DOI 10.1007/978-3-642-20832-4_6

[5]

Harrison A., 2014, P INT C PRINC KNOWL

[6]

Harrison A., 2015, P INT C LOG PROGR NO

[7] Nested expressions in logic programs [J].

Lifschitz, V ;

Tang, LR ;

Turner, H .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (3-4) :369-389

[8]

Lifschitz V., 2001, ACM Transactions on Computational Logic, V2, P526, DOI [10.1145/383779 .383783, DOI 10.1145/383779.383783]

[9]

Truszczynski M., 2012, CORRECT REASONING ES, V7265, P543, DOI DOI 10.1007/978-3-642-30743-0_37

← 1 →