Formal theories of knowledge in AI and robotics
New Generation Computing
Knowledge and common knowledge in a byzantine environment: crash failures
Information and Computation
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Reasoning about knowledge
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
On partially controlled multi-agent systems
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Equilibrium analysis of the possibilities of unenforced exchange in multiagent systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The function of time in cooperative negotiations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A stable joint plan should guarantee the achievement of a designer's goal in a multiagent environment, while ensuring that deviations from the prescribed plan would be detected. We present a computational framework where stable joint plans can be studied, as well as several basic results about the representation, verification and synthesis of stable joint plans.