A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

J. Bentahar, B. Moulin, J-J.Ch. Meyer

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationDeclarative Agent Languages and Technologies III (DALT 2005),LNCS 3904
EditorsM. Baldoni, U. Endriss, A. Omicini, P. Torroni
Number of pages22
Publication statusPublished - 2006

Cite this