ASP with non-herbrand partial functions: a language and system for practical use

Dealing with domains involving substantial quantitative information in Answer Set Programming (ASP) often results in cumbersome and inefficient encodings. Hybrid “CASP” languages combining ASP and Constraint Programming aim to overcome this limitation, but also impose inconvenient constraints – firs...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 13; no. 4-5; pp. 547 - 561
Main Author:	BALDUCCINI, MARCELLO
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2013
Subjects:	Dealing Regular Papers practical applications Answer Set Programming non-herbrand functions constraint answer set programming
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!