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)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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.: | 996465871603316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science. . -Lecture notes in artificial intelligence ; ; 4371.