Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers / / Michael Fisher, Fariba Sadri, Michael Thielscher (eds.)
| Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers / / Michael Fisher, Fariba Sadri, Michael Thielscher (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (IX, 173 p.) |
| Disciplina | 004n/a |
| Altri autori (Persone) |
FisherMichael <1962->
SadriFariba <1956-> ThielscherMichael |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Computer logic
Intelligent agents (Computer software) |
| ISBN | 3-642-02734-2 |
| Classificazione |
DAT 540f
DAT 709f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
| Altri titoli varianti |
CLIMA IX
CLIMA 9 CLIMA nine |
| Record Nr. | UNINA-9910483811903321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / / Fariba Sadri, Ken Satoh (editors)
| Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / / Fariba Sadri, Ken Satoh (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Computer logic |
| ISBN | 3-540-88833-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal Modelling of Emotions in BDI Agents -- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations -- Proof Theory for Distributed Knowledge -- EVOLP: Transformation-Based Semantics -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation for Trust -- Assumption-Based Argumentation for Selection and Composition of Services -- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems -- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs -- System Description Paper -- EVOLP: An Implementation. |
| Record Nr. | UNISA-996466117303316 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / / Fariba Sadri, Ken Satoh (editors)
| Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / / Fariba Sadri, Ken Satoh (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Computer logic |
| ISBN | 3-540-88833-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal Modelling of Emotions in BDI Agents -- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations -- Proof Theory for Distributed Knowledge -- EVOLP: Transformation-Based Semantics -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation for Trust -- Assumption-Based Argumentation for Selection and Composition of Services -- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems -- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs -- System Description Paper -- EVOLP: An Implementation. |
| Record Nr. | UNINA-9910768445303321 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||