Syndetics omslagsbild
Bild från Syndetics

Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni.

Medverkande: Materialtyp: TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Utgåva: 1st ed. 2007Beskrivning: X, 318 p. online resourceInnehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783540696193
Ämnen: DDK-klassifikation:
  • 006.3 23
Onlineresurser:
Innehåll:
Regular Papers -- 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 Systems -- An 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 -- Contest Papers -- 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.
Inga fysiska exemplar för denna post

Regular Papers -- 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 Systems -- An 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 -- Contest Papers -- 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.

Licensed e-book