Synopsis "computational logic in multi-agent systems"

this book constitutes the strictly refereed post-proceedings of the 6th international workshop on computational logic for multi-agent systems, clima vi, held in london, uk, in june 2005. the series of workshops presents current work on application of general and declarative theories grounded on computational logic to multi-agent systems specification, semantics and procedures, and confronts ideas such as autonomy, deliberation, knowledge, commitment, openness, trust, with the computational logic paradigms. this research has encouraged the use of formal approaches to multi-agent systems research, and it has dealt with disparate issues such as implementations, environments, tools, and verification of computational systems. the 14 revised full technical papers, 4 contest papers, and 7 invited papers presented together with 1 invited article were carefully selected from 30 submissions and went through two rounds of reviewing and improvement. the papers of this state-of-the-art survey are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. they 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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews