Representing incomplete knowledge in abductive logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Semantics for an Agent Communication Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Speculative Computation by Abduction under Incomplete Communication Environments
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A social ACL semantics by deontic constraints
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
A new framework for knowledge revision of abductive agents through their interaction
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Weighted multi dimensional logic programs
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A 25-year perspective on logic programming
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Cooperative dialogues with conditional arguments
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Hi-index | 0.00 |
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the aspects of information exchange and abductive reasoning, and show theoretically the information inferred by the single abductive agent as a product of joint reasoning activity. We show examples, like dining philosophers, resource exchange and speculative computation, and give an implementation of the space of interactions based on CLP(SET).