Abstract | ||
---|---|---|
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, $\mathcal{B}^{\sf MAP}$, that enables the declarative description of large classes of multi-agent and multi-valued domains. $\mathcal{B}^{\sf MAP}$ supports several complex features, including combined effects, concurrency constraint, interacting actions, and delayed effects. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-04238-6_37 | LPNMR |
Keywords | Field | DocType |
large class,declarative description,interacting action,complex feature,representing multi-agent planning,delayed effect,combined effect,sf map,concurrency constraint,constraint logic programming,multiple interacting agent,action language | Constraint satisfaction,Concurrency,Action language,Computer science,Constraint programming,Algorithm,Theoretical computer science,Constraint satisfaction problem,Multi-agent planning,Constraint logic programming | Conference |
Volume | ISSN | Citations |
5753 | 0302-9743 | 6 |
PageRank | References | Authors |
0.50 | 14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Agostino Dovier | 1 | 972 | 81.11 |
Andrea Formisano | 2 | 301 | 32.94 |
Enrico Pontelli | 3 | 1901 | 181.26 |