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

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 18; no. 3-4; pp. 337 - 354
Main Authors:	ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2018
Subjects:	Combinatorial analysis Mathematical models Mathematical programming Original Article
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!