Experiments with speculative parallelism in Parlog
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
Speculative Computation by Abduction under Incomplete Communication Environments
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Agent-Based Approach to Dynamic Meeting Scheduling Problems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Speculative Computation and Abduction for an Autonomous Agent*
IEICE - Transactions on Information and Systems
Agent-Based Speculative Constraint Processing
IEICE - Transactions on Information and Systems
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving
Artificial Intelligence - Special issue: Distributed constraint satisfaction
A formal theory of multiple agent nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On the implementation of speculative constraint processing
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Speculative constraint processing with iterative revision for disjunctive answers
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
Speculative computation is an effective means for solving problems with incomplete information in multi-agent systems. It allows such a system to compute tentative solutions by using default knowledge about agents even if communications between agents are delayed or fail. Previously we have proposed a logical framework for speculative constraint processing for master-slave multi-agent systems. In this paper, we extend the framework to support more general multi-agent systems that are hierarchically structured. We provide an operational model for the framework and present a prototype implementation of the model.