책 세부 정보
형식
킨들
페이지
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.
장르들
과학 & 기술