Domain-independent planning: representation and plan generation
Artificial Intelligence
Towards a general theory of action and time
Artificial Intelligence
Computer aids for VLSI design
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
GEM: A tool for concurrency specification and verification
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Planning for Conjunctive Goals
Planning for Conjunctive Goals
Specification and analysis of concurrency
Specification and analysis of concurrency
An implementation of a multi-agent plan synchronizer
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
This paper presents a general method for structuring domains that is based on the notion of locality. We consider a localized domain description to be one that is partitioned into regions of activity, each of which has some independent significance. The use of locality can be very beneficial for domain representation and reasoning, especially for parallel, muItiagent domains. We show how localized domain descriptions can alleviate aspects of the frame problem and serve as the foundation of a planning technique based on localized planning spaces. Because domain constraints and properties are localized, potential interactions among these search spaces are fewer and more easily identified.