Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action
Autonomous Agents and Multi-Agent Systems
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
In this work, we propose a declarative multi-agent argumentation framework for reasoning and argument about actions, equipped with a sound operational model. The foundations of this framework rely on previous results from ALP and from Dung's studies on argumentation. Our approach features declarative knowledge representation and logic based reasoning, agent interaction by argumentation dialogues, and a notion of agreement about actions.