Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
Dynamic Logic
A Denotational Semantics for Deliberation Dialogues
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Formal systems for persuasion dialogue
The Knowledge Engineering Review
The eightfold way of deliberation dialogue: Research Articles
International Journal of Intelligent Systems - Computational Models of Natural Argumentation
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Teamwork in Multi-Agent Systems: A Formal Approach
Teamwork in Multi-Agent Systems: A Formal Approach
Proving Propositional Tautologies in a Natural Dialogue
Fundamenta Informaticae - Concurrency, Specification and Programming
Hi-index | 0.00 |
Cooperation in multi-agent systems essentially hinges on appropriate communication. This paper shows how to model communication in teamwork within TeamLog, the first multi-modal framework wholly capturing a methodology for working together. Starting from the dialogue theory ofWalton and Krabbe, the paper focuses on deliberation, the main type of dialogue during team planning. We provide a schema of deliberation dialogue along with semantics of adequate speech acts, this way filling the gap in logical modeling of communication during planning.