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]
Abstract is missing.