Computational Logic in Multi-Agent Systems

by ; ;
Format: Paperback
Pub. Date: 2007-03-06
Publisher(s): Springer-Verlag New York Inc
List Price: $89.99

Rent Textbook

Select for Price
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a non-refundable digital delivery fee of $3.99 will be charged on each digital item.
$42.90*

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VII, held in Hakodate, Japan, in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. 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. The 14 revised full technical papers, 4 contest papers were carefully selected from 29 submissions and went through two rounds of reviewing and improvement. The topics of the regular papers include agent reasoning, such as deontic reasoning, probabilistic reasoning, contextual reasoning, decision making and abduction, agent communication, such as argumentation and dialogue, agent architecture and verification of multi-agent systems. The contest papers describe implemented agent architectures solving the gold mining domain.

Table of Contents

Acts of commanding and changing obligationsp. 1
Hierarchical decision making in multi-agent systems using answer set programmingp. 20
On a linear framework for belief dynamics in multi-agent environmentsp. 41
Answer set programming for representing and reasoning about virtual institutionsp. 60
A complete probabilistic belief logicp. 80
Prototyping 3APL in the maude term rewriting languagep. 95
Dialogue game tree with nondeterministic additive consolidationp. 115
Representing and verifying temporal epistemic properties in multi-agent systemsp. 134
A new logical semantics for agent communicationp. 151
Contextual reasoning in agent systemsp. 171
An argumentation-based negotiation for distributed extended logic programsp. 191
Belief updating by communication channelp. 211
On the implementation of global abductionp. 226
Adding evolving abilities to a multi-agent systemp. 246
The second contest on multi-agent systems based on computational logicp. 266
Using antimodels to define agents' strategyp. 284
Multi-agent FLUX for the gold mining domain (system description)p. 294
Using Jason to implement a team of gold minersp. 304
Table of Contents provided by Blackwell. All Rights Reserved.

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.