A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Declarative Agent Languages and Technologies III (DALT 2005),LNCS 3904
Editors	M. Baldoni, U. Endriss, A. Omicini, P. Torroni
Pages	223-244
Number of pages	22
Publication status	Published - 2006

Cite this

@inproceedings{838bcc611ba64486b17375cd67b95c85,

title = "A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication",

author = "J. Bentahar and B. Moulin and J-J.Ch. Meyer",

year = "2006",

language = "Undefined/Unknown",

pages = "223--244",

editor = "M. Baldoni and U. Endriss and A. Omicini and P. Torroni",

booktitle = "Declarative Agent Languages and Technologies III (DALT 2005),LNCS 3904",

}

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. / Bentahar, J.; Moulin, B.; Meyer, J-J.Ch.
Declarative Agent Languages and Technologies III (DALT 2005),LNCS 3904. ed. / M. Baldoni; U. Endriss; A. Omicini; P. Torroni. 2006. p. 223-244.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review