Computational Logic in Multi-Agent Systems（多代理系统的计算逻辑/2004年国际会议录） 下载 pdf 百度网盘 epub 免费 2025 电子书 mobi 在线

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

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：Computational Logic in Multi-Agent Systems（多代理系统的计算逻辑/2004年国际会议录）在线阅读

在线听书地址：Computational Logic in Multi-Agent Systems（多代理系统的计算逻辑/2004年国际会议录）在线收听

在线购买地址：Computational Logic in Multi-Agent Systems（多代理系统的计算逻辑/2004年国际会议录）在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！