Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
A Software Infrastructure for Negotiation within Inter-organisational Alliances
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
Optimal utterances in dialogue protocols
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On the outcomes of formal inter-agent dialogues
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards a computational account of persuasion in law
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A Mathematical Model of Dialog
Electronic Notes in Theoretical Computer Science (ENTCS)
Deliberation dialogues during multi-agent planning
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Some preliminary steps towards a meta-theory for formal inter-agent dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
A dialogue game protocol for multi-agent argument over proposals for action
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Argumentation based modelling of embedded agent dialogues
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Realizing agent dialogues with distributed protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Coherence constraints for agent interaction
AC'04 Proceedings of the 2004 international conference on Agent Communication
Structured reasoning to support deliberative dialogue
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Enabling human-robot collaboration via argumentation
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.00 |
We present a denotational semantics for agent deliberation dialogues, i.e., dialogues over proposed actions, conducted under a broad class of interaction protocols. The semantics uses category-theoretic entities to represent deals proposed by agents and the preferences they articulate between these. The semantics is constructed jointly and incrementally by the participating agents in the course of the dialogue, and evolves with the dialogue. We consider properties of the semantics relating to deals and dialogue termination.