@inproceedings{6f0150399ebc40c2bf8132c476044744,
title = "A computational model for conversation policies for agent communication",
abstract = "In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexible, this protocol is defined as a combination of a set of conversation policies. These policies are formalized as a set of dialogue games. The protocol is specified using two types of dialogue games: entry dialogue game and chaining dialogue games. The protocol terminates when exit conditions arc satisfied. Using a tableau method, we prove that this protocol always terminates. The paper addresses also the implementation issues of our protocol using logical programming and an agent-oriented platform.",
author = "Jamal Bentahar and Bernard Moulin and Meyer, {John Jules Ch} and Brahim Chaib-draa",
year = "2005",
doi = "10.1007/11533092_11",
language = "British English",
isbn = "354028060X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "178--195",
booktitle = "Computational Logic in Multi-Agent Systems - 5th International Workshop, CLIMA V, Revised Selected and Invited Papers",
address = "Germany",
note = "5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V ; Conference date: 29-09-2004 Through 30-09-2004",
}