Constraint Answer Set Programming without Grounding

Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several meth...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 18; H. 3-4; S. 337 - 354
Hauptverfasser:	ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.07.2018
Schlagworte:	Combinatorial analysis Mathematical models Mathematical programming Original Article
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!