Programme
Invited talks
- George Vouros Combing Ontologies in Settings with
Multiple Agents
- Pietro Baroni Mind the Gap: Abstract vs. Applied
Argumentation (slides)
- Gerhard Brewka Towards Reactive Multi-Context Systems
- Sven Ove Hansson Intuition Pumps for Deontic Logic
Regular Papers
- Elena Cabrio, Sara Tonelli and Serena Villata From Discourse
Analysis to Argumentation Schemes and back: Relations and
Differences
- Ringo Baumann and Gerhard Brewka Analyzing the Equivalence Zoo
in Abstract Argumentation
- Adam Wyner, Trevor Bench-Capon and Paul Dunne On the
Instantiation of Knowledge Bases in Abstract Argumentation
Frameworks (slides)
- Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan
Perotti, Leon van der Torre and Serena Villata Rewriting Rules
for the Computation of Goal-Oriented Changes in an Argumentation
System (slides)
- Ofer Arieli A Sequent-Based Representation of Logical
Argumentation
- Hannes Strass Instantiating Knowledge Bases in Abstract
Dialectical Frameworks (slides)
- Sylwia Polberg, Johannes Peter Wallner and Stefan Woltran
Admissibility in the Abstract Dialectical Framework
(slides)
- Pierpaolo Dondio Computing the Grounded Semantics in all the
Subgraphs of an Argumentation Framework: An Empirical Evaluation
- Johannes Peter Wallner, Georg Weissenbacher and Stefan Woltran
Advanced SAT Techniques for Abstract Argumentation
(slides)
- Alsinet Teresa, Béjar Ramón, Godo Lluís and Francesc Guitart
Web based system for weighted defeasible argumentation
- Nils Bulling and Mehdi Dastani Coalitional Responsibility in
Strategic Settings
- Jeffrey Kane and Pavel Naumov Symmetries and Epistemic
Reasoning
- Wojtek Jamroga and Masoud Tabatabaei Accumulative Knowledge
Under Bounded Resources
- Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, Joao
Leite and Martin Slota Time is up! - Norms with Deadlines in
Action Languages (slides)
- Ana Sofia Gomes and Jose Julio Alferes External Transaction
Logic with Automatic Compensations
- Barbara Dunin-Kęplicz and Alina Strachocka Perceiving Rules
under Incomplete and Inconsistent Information
- Louise Dennis, Michael Fisher and Matt Webster
Using Agent
JPF to Build Models for Other Model Checkers
- Chitta Baral, Gregory Gelfond, Enrico Pontelli and Tran Cao
Son Reasoning About the Beliefs of Agents in Multi-Agent Domains
in the Presence of State Constraints: The Action Language mAL
- Pere Pardo and Lluis Godo A temporal argumentation approach
to cooperative planning using dialogues
- Peter Novák and Cees Witteveen Reconfiguration of Large-Scale
Surveillance Systems
- Marco Aurisicchio, Pietro Baroni, Giorgio Bertanza, Marco
Romano and Francesca Toni An Argumentation-Based Approach for
Automatic Evaluation of Design Debates
- Henry Prakken, Dan Ionita and Roel Wieringa Risk assessment
as an argumentation game
- Xiuyi Fan, Robert Craven, Ramsay Singer, Francesca Toni and
Matthew Williams Assumption-Based Argumentation for
Decision-Making with Preferences: A Medical Case Study
Social Events
Welcome Reception
The Welcome Reception will take place on September 15th at the University of Corunna Headquarters (Rector's Office)
The Maestranza Building was originally an armoury from the Spanish Army erected in 1774. After the foundation of the University was refurbished and nowadays hosts the Rector's Offices.
Excursion
Santiago de Compostela is the capital of the autonomous community
of Galicia, the city has its origin in the shrine of Saint James the
Great, now the city's cathedral, as destination of the Way of St.
James, a leading Catholic pilgrimage route originated in the 9th
century.
In 1985 the city's Old Town was designated a UNESCO World Heritage Site. During the
guided excursion, the Cathedral, the museum and the famous surroundings will be visited.
Social Dinner
The Social Dinner will take place at the Restaurant of the
Domus Interactive Museum. The museum built in the seafront of the Orzan beach was designed by the Japanese architect Arata Isozaki and has more than 200 interactive modules for enjoy and think about the characteristics of the Human race.