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 [[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. | 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] ] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings / / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (228 p. 50 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-32897-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report -- Multi-agent Only-Knowing -- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts -- A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents -- Distributed Defeasible Speculative Reasoning in Ambient Environment -- A Formal Semantics for Agent (Re)Organization -- Epistemic ATL with Perfect Recall, Past and Strategy Contexts -- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters -- Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach -- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks -- MKNF Knowledge Bases in Multi-Context Systems -- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning -- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation -- A Numerical Approach to the Merging of Argumentation Networks. |
Record Nr. | UNISA-996465273303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
|
Logic and Argumentation [[electronic resource] ] : Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings / / edited by Mehdi Dastani, Huimin Dong, Leon van der Torre |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (X, 363 p. 244 illus., 15 illus. in color.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-030-44638-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling -- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument. |
Record Nr. | UNINA-9910409678903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic and Argumentation [[electronic resource] ] : Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings / / edited by Mehdi Dastani, Huimin Dong, Leon van der Torre |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (X, 363 p. 244 illus., 15 illus. in color.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-030-44638-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling -- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument. |
Record Nr. | UNISA-996418222103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|