Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

DALT
2005
Springer

favoriteEmaildiscussreport

97views Intelligent Agents» more DALT 2005»

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

13 years 10 months ago

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

Download users.encs.concordia.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey

Real-time Traffic

DALT 2005 |

claim paper

Related Content

» A Computational Model for Conversation Policies for Agent Communication

» Abstraction in model checking multiagent systems

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	DALT
Authors	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer

Comments (0)