Planning in a distributed system

Authors:
Rajdeep Niyogi;Sundar Balasubramaniam
Affiliations:
Computer Science and Information Systems Group, Birla Institute of Technology and Science, Pilani, India;Computer Science and Information Systems Group, Birla Institute of Technology and Science, Pilani, India
Venue:
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Year:
2005

Citing 6
Cited 0

Mobile agents and the future of the internet

ACM SIGOPS Operating Systems Review
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
A Query Language Based on the Ambient Logic

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
XML schema, tree logic and sheaves automata

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We identify a type of distributed system where the notion of space in planning is important. We give a formal modeling of the distributed system where planning is done. We show that several interesting planning goals in the model can be specified in a spatio-temporal logic STL. We develop an efficient planning procedure for these goals in the distributed setting.