| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910479148303321 |
|
|
Autore |
Hugo, Victor |
|
|
Titolo |
Les misérables / Victor Hugo ; présentés avec les variantes des "Misères", une introduction et des notes par Marius-François Guyard |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465871603316 |
|
|
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) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-86404-4 |
9786610864041 |
3-540-69619-9 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 318 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in artificial intelligence ; ; 4371 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |