Coverart for item
The Resource Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers, Katsumi Inoue, Ken Satoh, Francesca Toni (eds.)

Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers, Katsumi Inoue, Ken Satoh, Francesca Toni (eds.)

Label
Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers
Title
Computational logic in multi-agent systems
Title remainder
7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers
Statement of responsibility
Katsumi Inoue, Ken Satoh, Francesca Toni (eds.)
Title variation
  • CLIMA VII
  • CLIMA 7
  • CLIMA seven
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
004.01/5113
Illustrations
illustrations
Index
index present
LC call number
QA76.9.L63
LC item number
C656 2006eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2006
http://bibfra.me/vocab/lite/meetingName
CLIMA (Workshop)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1959-
http://library.link/vocab/relatedWorkOrContributorName
  • Inoue, Katsumi
  • Satoh, Ken
  • Toni, Francesca
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
4371.
http://library.link/vocab/subjectName
  • Computer logic
  • Intelligent agents (Computer software)
  • Computer logic
  • Intelligent agents (Computer software)
  • Informatique
  • Computer logic
  • Intelligent agents (Computer software)
Label
Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers, Katsumi Inoue, Ken Satoh, Francesca Toni (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Front Matter; Acts of Commanding and Changing Obligations; Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming; On a Linear Framework for Belief Dynamics in Multi-agent Environments; Answer Set Programming for Representing and Reasoning About Virtual Institutions; A Complete Probabilistic Belief Logic; Prototyping 3APL in the Maude Term Rewriting Language; Dialogue Game Tree with Nondeterministic Additive Consolidation; Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems; A New Logical Semantics for Agent Communication
  • Contextual Reasoning in Agent SystemsAn Argumentation-Based Negotiation for Distributed Extended Logic Programs; Belief Updating by Communication Channel; On the Implementation of Global Abduction; Adding Evolving Abilities to a Multi-Agent System; The Second Contest on Multi-Agent Systems Based on Computational Logic; Using Antimodels to Define Agents' Strategy; Multi-Agent FLUX for the Gold Mining Domain (System Description); Using Jason to Implement a Team of Gold Miners; Back Matter
Control code
185027038
Dimensions
unknown
Extent
1 online resource (x, 313 pages)
Form of item
online
Isbn
9783540696186
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-69619-3
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-69618-6
Specific material designation
remote
System control number
(OCoLC)185027038
Label
Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers, Katsumi Inoue, Ken Satoh, Francesca Toni (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Front Matter; Acts of Commanding and Changing Obligations; Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming; On a Linear Framework for Belief Dynamics in Multi-agent Environments; Answer Set Programming for Representing and Reasoning About Virtual Institutions; A Complete Probabilistic Belief Logic; Prototyping 3APL in the Maude Term Rewriting Language; Dialogue Game Tree with Nondeterministic Additive Consolidation; Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems; A New Logical Semantics for Agent Communication
  • Contextual Reasoning in Agent SystemsAn Argumentation-Based Negotiation for Distributed Extended Logic Programs; Belief Updating by Communication Channel; On the Implementation of Global Abduction; Adding Evolving Abilities to a Multi-Agent System; The Second Contest on Multi-Agent Systems Based on Computational Logic; Using Antimodels to Define Agents' Strategy; Multi-Agent FLUX for the Gold Mining Domain (System Description); Using Jason to Implement a Team of Gold Miners; Back Matter
Control code
185027038
Dimensions
unknown
Extent
1 online resource (x, 313 pages)
Form of item
online
Isbn
9783540696186
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-540-69619-3
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-69618-6
Specific material designation
remote
System control number
(OCoLC)185027038

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...