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

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 17; no. 4; pp. 591 - 633
Main Authors:	BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2017
Subjects:	Constraints Mathematical models Regular Papers Solvers Viability planning Answer set programming hybrid domains
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!