Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. In Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni, editors, Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Volume 3904 of Lecture Notes in Computer Science, pages 223-244, Springer, 2005. [doi]
@inproceedings{BentaharMM05,
title = {A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication},
author = {Jamal Bentahar and Bernard Moulin and John-Jules Ch. Meyer},
year = {2005},
doi = {10.1007/11691792_14},
url = {http://dx.doi.org/10.1007/11691792_14},
tags = {protocol},
researchr = {https://researchr.org/publication/BentaharMM05},
cites = {0},
citedby = {0},
pages = {223-244},
booktitle = {Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers},
editor = {Matteo Baldoni and Ulle Endriss and Andrea Omicini and Paolo Torroni},
volume = {3904},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-33106-9},
}