Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Modelling and solving English Peg Solitaire
Computers and Operations Research
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Partial-order planning with concurrent interacting actions
Journal of Artificial Intelligence Research
Answer set planning under action costs
Journal of Artificial Intelligence Research
Generalizing GraphPlan by formulating planning as a CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Multivalued action languages with constraints in CLP(FD)
ICLP'07 Proceedings of the 23rd international conference on Logic programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Reasoning and planning with cooperative actions for multiagents using answer set programming
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Perspectives on logic-based approaches for reasoning about actions and change
Logic programming, knowledge representation, and nonmonotonic reasoning
Hi-index | 0.00 |
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.