Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Publication year: 2008
: 978-3-540-77564-5
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007.
: Computer Science, agent communication, agent cooperation, agent coordination, agent reasoning, agent systems design, agent systems specification, agent verification, autonom, autonomous agents, cognition, communication, complexity, declarative agent language, formal methods, logic, Programming Languages, Compilers, Interpreters, Artificial Intelligence, Computer Communication Networks, Software Engineering, Logics and Meanings of Programs
