Three-valued completion for abductive logic programs
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Abductive inference has many known applications in multi-agent systems. However, most abductive frameworks rely on a centrally executed proof procedure whereas many of the application problems are distributed by nature. Confidentiality and communication overhead concerns often preclude transmitting all the knowledge required for centralised reasoning. We present in this paper a novel multi-agent abductive reasoning framework underpinned by a flexible and extensible distributed proof procedure that permits collaborative abductive reasoning with constraints between agents over decentralised knowledge.