Multi-valued Action Languages in CLP(FD)

Details Multi-valued Action Languages in CLP(FD) Multi-valued Action Languages in CLP(FD)

2009-12-15

arxiv.org/abs/0912.2846v1

Computer Science

Artificial Intelligence

Scientific paper

Action description languages, such as A and B, are expressive instruments introduced for formalizing planning domains and planning problem instances. 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 raise 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. To appear in Theory and Practice of Logic Programming (TPLP)

Affiliated with

Also associated with

No associations

Rating

Multi-valued Action Languages in CLP(FD) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Multi-valued Action Languages in CLP(FD), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Multi-valued Action Languages in CLP(FD) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-305394