We explore the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning domains in presence of multiple interacting agents. We develop a novel constraint-based action language, B~(MAP), that enables the declarative description of large classes of multi-agent and multi-valued domains. B~(MAP) supports several complex features, including combined effects, concurrency constraint, interacting actions, and delayed effects.
展开▼
