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 |
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] ] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / / edited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XV, 383 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer logic Mathematical logic Computer communication systems Programming languages (Electronic computers) Artificial Intelligence Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN | 3-642-22359-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466262103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
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 |
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.) |
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 | ||
|
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 |
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 [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 272 p.) |
Disciplina | 005.2 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
Record Nr. | UNISA-996466234103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 272 p.) |
Disciplina | 005.2 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
Record Nr. | UNINA-9910144168903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
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 |
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 | ||
|