مرکز منطقه ای اطلاع رساني علوم و فناوري - Formalization, implementation and validation of conversation policies using a protocol operational semantics

Title of article :

Formalization, implementation and validation of conversation policies using a protocol operational semantics

Author/Authors :

J. -L. Koning، نويسنده , , P. -Y. Oudeyer، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

From page :

223

To page :

242

Keywords :

Messages , Formalisms , Properties , Agent conversation , Semantics , Conversation policies , Interaction protocols , Agent communication languages

Journal title :

Cognitive Systems Research

Serial Year :

2003

Journal title :

Cognitive Systems Research

Record number :

180663

Link To Document :