Intention is choice with commitment
Artificial Intelligence
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
The implicit set paradigm: a new approach to finite state system verification
Formal Methods in System Design - Special issue on symbolic model checking
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
The RETSINA MAS Infrastructure
Autonomous Agents and Multi-Agent Systems
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Argumentation-based dialogues for deliberation
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Journal of Artificial Intelligence Research
Computing argumentation in polynomial number of BDD operations: a preliminary report
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Arguments over co-operative plans
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
On the benefits of argumentation schemes in deliberative dialogue
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Hi-index | 0.00 |
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to communicate while the plan is being executed. Such communication is required, for example, to make sure that information critical to the plan is passed in time for it to be useful. In this paper we present a model for constructing joint plans for a team of agents that takes into account their communication needs. The model builds on recent developments in symbolic non-deterministic planning, ideas that have not previously been applied to this problem.