网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 人文社科 > 逻辑学 > 商品详情

Computational Logic in Multi-Agent Systems(多代理系统的计算逻辑/2004年国际会议录)

分享到:
Computational Logic in Multi-Agent Systems(多代理系统的计算逻辑/2004年国际会议录)

最 低 价:¥457.65

定 价:¥508.50

作 者:João Leite 著

出 版 社:北京燕山出版社

出版时间:2005-9-1

I S B N:9783540280606

商品详情

编辑推荐

内容简介

This book constitutes the strictly refereed post-proceedings of the 5th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA V, held in Lisbon, Portugal, in September 2004 as a joint event in federation with the Ninth European Conference on Logics in Artificial Intelligence (JELIA’04) to promote the CLIMA research topics in the broader community of logics in AI.
  The 16 revised full papers presented were carefully selected from 35 submissions and are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on foundations, architectures, interaction, and planning and applications.

作者简介

目录

Foundations
 A Logic for Knowledge, Correctness, and Real Time
 Dynamic Logic for Plan Revision in Intelligent Agents
 Contextual Taxonomies
 From Logic Programs Updates to Action Description Updates
 Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Architectures
Declarative Agent Control
Metareasoning for Multi-agent Epistemic Logics
Graded BDI Models for Agent Architectures
Interaction
Inferring Trust
Coordination Between Logical Agents
A Computational Model for Conversation Policies for Agent Communication
Verifying Protocol Conformance for Logic-Based Communicating Agents
Planning and Applications
An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report
Planning Partially for Situated Agents
Desire-Space Analysis and Action Selection for Multiple Dynamic Goals
Organising Software in Active Environments
Author Index

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...