Abstract gringo

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 15; H. 4-5; S. 449 - 463
Hauptverfasser:	GEBSER, MARTIN, HARRISON, AMELIA, KAMINSKI, ROLAND, LIFSCHITZ, VLADIMIR, SCHAUB, TORSTEN
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.07.2015 Cambridge University Press (CUP)
Schlagworte:	Aggregates Computer Science Division Intervals Logic in Computer Science Logic programming Regular Papers Semantics Specifications Strings Syntax
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!