CASP solutions for planning in hybrid domains

Constraint answer set programming (CASP) is an extension of answer set programming that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling mixed discrete-continuous dynamics. In this paper, we present CASP...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 17; číslo 4; s. 591 - 633
Hlavní autoři:	BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2017
Témata:	Constraints Mathematical models Regular Papers Solvers Viability planning Answer set programming hybrid domains
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!