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 : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers / / Katsumi Inoue, Ken Satoh, Francesca Toni (editors)
| 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) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (X, 318 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico | Computer logic |
| ISBN |
1-280-86404-4
9786610864041 3-540-69619-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910484635303321 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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)
| 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) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (X, 318 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto topico | Computer logic |
| ISBN |
1-280-86404-4
9786610864041 3-540-69619-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996465871603316 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers / / edited by Francesca Toni, Paolo Torroni
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers / / edited by Francesca Toni, Paolo Torroni |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVIII, 430 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Mathematical logic Artificial Intelligence Computer Communication Networks Mathematical Logic and Formal Languages |
| ISBN | 3-540-33997-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Logical Way to Be Artificially Intelligent -- The Logical Way to Be Artificially Intelligent -- Foundational Aspects of Agency -- Ability in a Multi-agent Context: A Model in the Situation Calculus -- Reasoning About Epistemic States of Agents by Modal Logic Programming -- Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures -- Logical Spaces in Multi-agent Only Knowing Systems -- Trustworthiness by Default -- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables -- Agent Programming -- Implementing Temporal Logics: Tools for Execution and Proof -- BDI Agent Programming in AgentSpeak Using Jason -- Using the KGP Model of Agency to Design Applications -- Multi-threaded Communicating Agents in Qu-Prolog -- Variety of Behaviours Through Profiles in Logic-Based Agents -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification of Agent Interaction Using Abductive Reasoning -- Verification of Protocol Conformance and Agent Interoperability -- Contextual Terminologies -- Constitutive Norms in the Design of Normative Multiagent Systems -- Combining Answer Sets of Nonmonotonic Logic Programs -- Speculative Constraint Processing with Iterative Revision for Disjunctive Answers -- Intention Recognition in the Situation Calculus and Probability Theory Frameworks -- The First CLIMA Contest -- The First Contest on Multi-agent Systems Based on Computational Logic -- Implementing Pheromone-Based, Negotiating Forager Agents -- Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem -- Reactive Food Gathering -- Strategies for Multi-agent Coordination in a Grid World Using Petri Nets -- Project Report -- Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. |
| Record Nr. | UNISA-996465933003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers / / Francesca Toni, Paolo Torroni (eds.)
| Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers / / Francesca Toni, Paolo Torroni (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XVIII, 430 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
ToniFrancesca
TorroniPaolo |
| Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Computer logic
Intelligent agents (Computer software) |
| ISBN | 3-540-33997-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Logical Way to Be Artificially Intelligent -- The Logical Way to Be Artificially Intelligent -- Foundational Aspects of Agency -- Ability in a Multi-agent Context: A Model in the Situation Calculus -- Reasoning About Epistemic States of Agents by Modal Logic Programming -- Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures -- Logical Spaces in Multi-agent Only Knowing Systems -- Trustworthiness by Default -- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables -- Agent Programming -- Implementing Temporal Logics: Tools for Execution and Proof -- BDI Agent Programming in AgentSpeak Using Jason -- Using the KGP Model of Agency to Design Applications -- Multi-threaded Communicating Agents in Qu-Prolog -- Variety of Behaviours Through Profiles in Logic-Based Agents -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification of Agent Interaction Using Abductive Reasoning -- Verification of Protocol Conformance and Agent Interoperability -- Contextual Terminologies -- Constitutive Norms in the Design of Normative Multiagent Systems -- Combining Answer Sets of Nonmonotonic Logic Programs -- Speculative Constraint Processing with Iterative Revision for Disjunctive Answers -- Intention Recognition in the Situation Calculus and Probability Theory Frameworks -- The First CLIMA Contest -- The First Contest on Multi-agent Systems Based on Computational Logic -- Implementing Pheromone-Based, Negotiating Forager Agents -- Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem -- Reactive Food Gathering -- Strategies for Multi-agent Coordination in a Grid World Using Petri Nets -- Project Report -- Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project. |
| Record Nr. | UNINA-9910484188103321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Applications of Formal Argumentation [[electronic resource] ] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers / / edited by Sanjay Modgil, Nir Oren, Francesca Toni
| Theory and Applications of Formal Argumentation [[electronic resource] ] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers / / edited by Sanjay Modgil, Nir Oren, Francesca Toni |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 281 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Data mining Computer communication systems Computers and civilization Law Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Computer Communication Networks Computers and Society Law, general |
| ISBN | 3-642-29184-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465989103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||