Vai al contenuto principale della pagina
Titolo: |
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 (editors)
![]() |
Pubblicazione: | Berlin ; ; Heidelberg : , : Springer, , [2007] |
©2007 | |
Edizione: | 1st ed. 2007. |
Descrizione fisica: | 1 online resource (X, 318 p.) |
Disciplina: | 004.015113 |
Soggetto topico: | Computer logic |
Persona (resp. second.): | InoueKatsumi |
SatohKen <1959-> | |
ToniFrancesca | |
Note generali: | Includes index. |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Computational Logic in Multi-Agent Systems ![]() |
ISBN: | 1-280-86404-4 |
9786610864041 | |
3-540-69619-9 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484635303321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilitĂ qui |