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 [[electronic resource] ] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 391 p. 75 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40624-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
| Record Nr. | UNISA-996466057703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
| Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 391 p. 75 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40624-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
| Record Nr. | UNINA-9910485150103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / / edited by João Leite
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / / edited by João Leite |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 251 p.) |
| Disciplina | 004/.015113 |
| 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-30200-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems -- Programming Groups of Rational Agents -- Negotiation in Multi-agent Systems -- An Abductive Framework for Information Exchange in Multi-agent Systems -- Fault Tolerant and Fixed Scalable Structure of Middle-Agents -- Symbolic Negotiation with Linear Logic -- Planning in Multi-agent Systems -- Planning Experiments in the DALI Logic Programming Language -- A New HTN Planning Framework for Agents in Dynamic Environments -- Knowledge Revision and Update in Multi-agent Systems -- Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences -- A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction -- Weighted Multi Dimensional Logic Programs -- (Dis)Belief Change Based on Messages Processing -- Learning in BDI Multi-agent Systems -- Learning in BDI Multi-agent Systems -- The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules. |
| Record Nr. | UNISA-996466358903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / / edited by João Leite, Paolo Torroni
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / / edited by João Leite, Paolo Torroni |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 284 p.) |
| Disciplina | 004.015113 |
| 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 | 9783540318576 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations -- A Logic for Knowledge, Correctness, and Real Time -- Dynamic Logic for Plan Revision in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI Models for Agent Architectures -- Interaction -- Inferring Trust -- Coordination Between Logical Agents -- A Computational Model for Conversation Policies for Agent Communication -- Verifying Protocol Conformance for Logic-Based Communicating Agents -- Planning and Applications -- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure – Preliminary Report -- Planning Partially for Situated Agents -- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals -- Organising Software in Active Environments. |
| Record Nr. | UNISA-996465580003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / / edited by João Leite, Paolo Torroni
| Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / / edited by João Leite, Paolo Torroni |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 284 p.) |
| Disciplina | 004.015113 |
| 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 | 9783540318576 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations -- A Logic for Knowledge, Correctness, and Real Time -- Dynamic Logic for Plan Revision in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI Models for Agent Architectures -- Interaction -- Inferring Trust -- Coordination Between Logical Agents -- A Computational Model for Conversation Policies for Agent Communication -- Verifying Protocol Conformance for Logic-Based Communicating Agents -- Planning and Applications -- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure – Preliminary Report -- Planning Partially for Situated Agents -- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals -- Organising Software in Active Environments. |
| Record Nr. | UNINA-9910483497503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies II [[electronic resource] ] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / / edited by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
| Declarative Agent Languages and Technologies II [[electronic resource] ] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / / edited by João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 292 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| Soggetto non controllato |
Declarative agent languages
DALT |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report -- Reasoning About Agents’ Interaction Protocols Inside DCaseLP -- Verification -- Model Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming -- Norm Verification and Analysis of Electronic Institutions -- Norms and Protocols -- A Lightweight Coordination Calculus for Agent Systems -- Enhancing Commitment Machines -- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks -- Interaction and Communication -- Intensional Programming for Agent Communication -- The Logic of Communication Graphs -- Representational Content and the Reciprocal Interplay of Agent and Environment. |
| Record Nr. | UNISA-996465814403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
PRIMA 2017: Principles and Practice of Multi-Agent Systems [[electronic resource] ] : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / / edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre
| PRIMA 2017: Principles and Practice of Multi-Agent Systems [[electronic resource] ] : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / / edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 544 p. 92 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Programming languages (Electronic computers) Special purpose computers Application software Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-319-69131-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent and Multiagent Theories, Architectures, and Languages -- Teamwork and Coordination in Multiagent Systems -- Applications of Agents and Multiagent Systems -- Cooperation and Negotiation in Multiagent Systems -- Organizations, Institutions and Norms in Multiagent Systems -- Argumentation in Multiagent Systems -- Early Innovations. |
| Record Nr. | UNISA-996465330703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / / edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre
| PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / / edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 544 p. 92 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Programming languages (Electronic computers) Special purpose computers Application software Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-319-69131-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent and Multiagent Theories, Architectures, and Languages -- Teamwork and Coordination in Multiagent Systems -- Applications of Agents and Multiagent Systems -- Cooperation and Negotiation in Multiagent Systems -- Organizations, Institutions and Norms in Multiagent Systems -- Argumentation in Multiagent Systems -- Early Innovations. |
| Record Nr. | UNINA-9910484066303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||