Divide and conquer in multi-agent planning
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Semantics for hierarchical task-network planning
Semantics for hierarchical task-network planning
Reasoning about knowledge
Analyzing external conditions to improve the efficiency of HTN planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Top-down search for coordinating the hierarchical plans of multiple agents
Proceedings of the third annual conference on Autonomous Agents
Theory for coordinating concurrent hierarchical planning agents using summary information
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Adaptive execution in complex dynamic worlds
Adaptive execution in complex dynamic worlds
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Planning using a temporal world model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Hierarchical planning in a distributed environment
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Theory for coordinating concurrent hierarchical planning agents using summary information
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Abstract Reasoning for Planning and Coordination
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Strategies for Discovering Coordination Needs in MultiAgent Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The Dynamic Selection of Coordination Mechanisms
Autonomous Agents and Multi-Agent Systems
Predicting possible conflicts in hierarchical planning for multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Communication management using abstraction in distributed Bayesian networks
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Theoretical and experimental results on the goal-plan tree problem
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Annotation and Matching of First-Class Agent Interaction Protocols
Argumentation in Multi-Agent Systems
Reasoning intra-dependency in commitments for robust scheduling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Towards alternative approaches to reasoning about goals
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Characterising and matching iterative and recursive agent interaction protocols
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A unified interaction-aware goal framework
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
An Alternative Approach for Reasoning about the Goal-Plan Tree Problem
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Preference generation for autonomous agents
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Adaptive navigation for autonomous robots
Robotics and Autonomous Systems
Computationally Effective Reasoning About Goal Interactions
Journal of Automated Reasoning
Goal-driven adaptation of internetware
Proceedings of the Second Asia-Pacific Symposium on Internetware
Model of Petri net for representing an agent plan in dynamic environment
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
An alternative approach for reasoning about the goal-plan tree problem
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
MATES'11 Proceedings of the 9th German conference on Multiagent system technologies
An integrated formal framework for reasoning about goal interactions
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Hierarchical Negotiation Model for Complex Problems with Large-Number of Interdependent Issues
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
| Hi-index | 0.00 |
Interacting agents that interleave planning, plan coordination, and plan execution for hierarchical plans (e.g. HTNs or procedures for PRS) should reason about abstract plans and their concurrent execution before they are fully refined. Poor decisions made at abstract levels can lead to costly backtracking or even failure. We claim that better decisions require information at abstract levels that summarizes the preconditions and effects that must or may apply when a plan is refined. Here we formally characterize concurrent hierarchical plans and a method for deriving summary information for them, and we illustrate how summary conditions can be used to coordinate the concurrent interactions of plans at different levels of abstraction. The properties of summary conditions and rules determining what interactions can or might hold among asynchronously executing plans are proven to support the construction of sound and complete coordination mechanisms for concurrent hierarchical planning agents.