Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and trade, e-procurement, recommendation systems, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, envir- ments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.


Author
Publisher Springer Science & Business Media
Release Date
ISBN 3642027334
Pages 173 pages
Rating 4/5 (38 users)

More Books:

Computational Logic in Multi-Agent Systems
Language: en
Pages: 173
Authors: Michael Fisher
Categories: Mathematics
Type: BOOK - Published: 2009-07-10 - Publisher: Springer Science & Business Media

Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environme
Computational Logic in Multi-Agent Systems
Language: en
Pages: 391
Authors: João Leite
Categories: Computers
Type: BOOK - Published: 2013-08-23 - Publisher: Springer

This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in Se
Computational Logic in Multi-Agent Systems
Language: en
Pages: 228
Authors: Michael Fisher
Categories: Computers
Type: BOOK - Published: 2012-08-13 - Publisher: Springer

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France,
Computational Logic in Multi-Agent Systems
Language: en
Pages: 199
Authors: Nils Bulling
Categories: Computers
Type: BOOK - Published: 2014-08-04 - Publisher: Springer

This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic
Computational Logic in Multi-Agent Systems
Language: en
Pages: 257
Authors: Jürgen Dix
Categories: Computers
Type: BOOK - Published: 2010-08-05 - Publisher: Springer Science & Business Media

These are the proceedings of the 11th International Workshop on Compu- tional Logicin Multi-Agent Systems (CLIMA-XI), held during August 16–17,in Lisbon, coll
Computational Logic in Multi-Agent Systems
Language: en
Pages: 383
Authors: Joao Leite
Categories: Computers
Type: BOOK - Published: 2011-07-06 - Publisher: Springer Science & Business Media

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in
Computational Logic in Multi-Agent Systems
Language: en
Pages: 197
Authors: Jürgen Dix
Categories: Computers
Type: BOOK - Published: 2010-10-29 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent
Computational Logic in Multi-agent Systems
Language: en
Pages:
Authors:
Categories: Computer logic
Type: BOOK - Published: 2005-06 - Publisher:

Computational Logic in Multi-agent Systems
Language: en
Pages: 240
Authors:
Categories: Intelligent agents (Computer software)
Type: BOOK - Published: 2003 - Publisher:

Computational Logic in Multi-Agent Systems
Language: en
Pages: 313
Authors: Katsumi Inoue
Categories: Computers
Type: BOOK - Published: 2007-01-12 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held