書籍詳情
格式
Kindle
頁數
302
語言
英語
已出版
Jan 1, 2005
出版商
Springer Verlag Berlin Heidelberg
ISBN-10
3540319271
ISBN-13
9783540319276
描述
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, held in New York, NY, USA in July 2004. The 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement from initially around 40 submissions. The papers are organized in topical sections on reasoning, modeling and engineering, verification, norms and protocols, and interaction and communication.
類型
科學與技術