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

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 13; číslo 4-5; s. 547 - 561
Hlavní autor:	BALDUCCINI, MARCELLO
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2013
Témata:	Dealing Regular Papers practical applications Answer Set Programming non-herbrand functions constraint answer set programming
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!