Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3642406254 ISBN 13 : 9783642406256

Editeur : Springer, 2013

Synopsis

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2013
• Langue: anglais
• ISBN 10: 3642406254
• ISBN 13: 9783642406256
• Reliure: Paperback
• Coordonnées du fabricant: non disponible