Semantics of Communicating Agents Based on Deduction and Abduction

Updating Mental States from Communication

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages

An Abstract Machine for Classes of Communicating Agents Based on Deduction

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII

Logic-based specification languages for intelligent software agents

Theory and Practice of Logic Programming

Solving abduction by computing joint explanations

Annals of Mathematics and Artificial Intelligence

Argumentation for access control

AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence

Solving abduction by computing joint explanations: logic programming formalization, applications to P2P data integration, and complexity results

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems