Publication year: 2008
ISBN: 978-3-540-77564-5
Internet Resource: Please Login to download book
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.
Subject: 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