default search action
CLIMA XIV 2013: Corunna, Spain
- 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. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2 - Elena Cabrio, Sara Tonelli, Serena Villata:
From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences. 1-17 - Ringo Baumann, Gerhard Brewka:
Analyzing the Equivalence Zoo in Abstract Argumentation. 18-33 - Adam Z. Wyner, Trevor J. M. Bench-Capon, Paul E. Dunne:
On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks. 34-50 - Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan Perotti, Leon van der Torre, Serena Villata:
Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System. 51-68 - Ofer Arieli:
A Sequent-Based Representation of Logical Argumentation. 69-85 - Hannes Strass:
Instantiating Knowledge Bases in Abstract Dialectical Frameworks. 86-101 - Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran:
Admissibility in the Abstract Dialectical Framework. 102-118 - Pierpaolo Dondio:
Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation. 119-137 - Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran:
Advanced SAT Techniques for Abstract Argumentation. 138-154 - Teresa Alsinet, Ramón Béjar, Francesc Guitart, Lluís Godo:
Web Based System for Weighted Defeasible Argumentation. 155-171 - Nils Bulling, Mehdi Dastani:
Coalitional Responsibility in Strategic Settings. 172-189 - Jeffrey Kane, Pavel Naumov:
Symmetries and Epistemic Reasoning. 190-205 - Wojciech Jamroga, Masoud Tabatabaei:
Accumulative Knowledge under Bounded Resources. 206-222 - Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota:
Time Is Up! - Norms with Deadlines in Action Languages. 223-238 - Ana Sofia Gomes, José Júlio Alferes:
External Transaction Logic with Automatic Compensations. 239-255 - Barbara Dunin-Keplicz, Alina Strachocka:
Perceiving Rules under Incomplete and Inconsistent Information. 256-272 - Louise A. Dennis, Michael Fisher, Matthew P. Webster:
Using Agent JPF to Build Models for Other Model Checkers. 273-289 - Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. 290-306 - Pere Pardo, Lluís Godo:
A Temporal Argumentation Approach to Cooperative Planning Using Dialogues. 307-324 - Peter Novák, Cees Witteveen:
Reconfiguration of Large-Scale Surveillance Systems. 325-339 - Pietro Baroni, Marco Romano, Francesca Toni, Marco Aurisicchio, Giorgio Bertanza:
An Argumentation-Based Approach for Automatic Evaluation of Design Debates. 340-356 - Henry Prakken, Dan Ionita, Roel J. Wieringa:
Risk Assessment as an Argumentation Game. 357-373 - Xiuyi Fan, Robert Craven, Ramsay Singer, Francesca Toni, Matthew Williams:
Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. 374-390
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.