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.)
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- 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
- Language
- eng
- Extent
- 1 online resource (x, 313 pages)
- 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
- Isbn
- 9783540696193
- 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
- Subject
-
- Computer logic
- Computer logic
- Computer logic -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Intelligent agents (Computer software)
- Intelligent agents (Computer software)
- Intelligent agents (Computer software)
- Intelligent agents (Computer software) -- Congresses
- Computer logic
- 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
- 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.)
- 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
- 9783540696193
- 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.)
- 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
- 9783540696193
- 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
Subject
- Computer logic
- Computer logic
- Computer logic -- Congresses
- Conference papers and proceedings
- Conference papers and proceedings
- Informatique
- Intelligent agents (Computer software)
- Intelligent agents (Computer software)
- Intelligent agents (Computer software)
- Intelligent agents (Computer software) -- Congresses
- Computer logic
Genre
Member of
- Lecture notes in computer science, 4371
- Lecture notes in computer science, Lecture notes in artificial intelligence
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computational-logic-in-multi-agent-systems--7th/SjpVPcYV7a8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computational-logic-in-multi-agent-systems--7th/SjpVPcYV7a8/">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.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computational-logic-in-multi-agent-systems--7th/SjpVPcYV7a8/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computational-logic-in-multi-agent-systems--7th/SjpVPcYV7a8/">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.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
