Computational Logic in Multi-Agent Systems (vol. # 3900)
Publication year: 2006
ISBN: 978-3-540-33997-7
Internet Resource: Please Login to download book
The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project.
Subject: Computer Science, BDI agents, Variable, abductive reasoning, agent communication, agent cooperation, autonom, cognition, formal methods, logic, mathematical logic, multi-agent system, multi-agent systems, programming, semantics, verification
