Sciweavers

ICLP
2007
Springer

Multivalued Action Languages with Constraints in CLP(FD)

13 years 9 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a methodology to encode an action language (with conditional effects and static causal laws), a slight variation of B, using Constraint Logic Programming over Finite Domains. The approach is then generalized to lift the use of constraints to the level of the action language itself. A prototype implementation has been developed, and the preliminary results are presented and discussed.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICLP
Authors Agostino Dovier, Andrea Formisano, Enrico Pontelli
Comments (0)