Computational Logic in Multi-Agent Systems
Subtitle: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science)
Contributors: Jürgen Dix (Editor); João Leite (Editor)
Edition: 1 edition
Publisher: Springer
Published: January 12, 2005
Language: eng
Format: Paperback
Number of pages: 251
ISBN-13: 9783540240105
Subjects: Computing and Information Technology; Networking - General; Computers; Computers - General Information; Computer Books: General; AI logics; BDI agents; Computers / Artificial Intelligence; MAS; agent communication; agent cooperation; agent negotiation; computational logic; formal methods; formal reasoning; knowledge processing; logic programming; mathematical logic; Artificial Intelligence - General; Logic
First sentence: Though multiagent systems are rapidly growing in importance, there has been little work to date on ensuring the survivability of multiagent systems (MASs for short).