Koha online

Your cart is empty.
Normal view MARC view ISBD view

Computational Logic in Multi-Agent Systems [electronic resource] :5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / edited by João Leite, Paolo Torroni.

by Leite, João [editor.]; Torroni, Paolo [editor.]; SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 3487Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: XII, 281 p. Also available online. online resource.ISBN: 9783540318576.Subject(s): Computer science | Computer Communication Networks | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Computer Communication Networks | Mathematical Logic and Formal LanguagesDDC classification: 006.3 Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
TJ210.2-211.495 (Browse shelf) Available
Long Loan MAIN LIBRARY
Q334-342 (Browse shelf) Available

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.

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.

There are no comments for this item.

Log in to your account to post a comment.
@ Jomo Kenyatta University Of Agriculture and Technology Library

Powered by Koha