Computational Logic in Multi-Agent Systems
14th International Workshop
Corunna, Spain, September 16-18, 2013

Programme

 

Sunday

Monday

Tuesday

Wednesday

10:10

 

Opening

10:20

 

Pietro Baroni
Invited Talk

Sven Ove Hensson
Invited Talk

10:50

 

Gerhard Brewka
Invited Talk
(joint with LPNMR)

11:20

 

Paper #1

Paper #14

11:50

Coffee Break

Coffee Break

Coffee Break

12:10

Paper #2

Paper #11

Paper #15

12:40

Paper #3

Paper #12

Paper #16

13:10

Paper #4

Paper #13

Paper #17

13:40

Lunch

Lunch

Lunch

15:00

Paper #5

Excursion

Paper #18

15:30

Paper #6

Paper #19

16:00

Paper #7

Paper #20

16:30

Coffee Break

Coffee Break

17:00

Paper #8

Paper #21

17:30

George Vouros
Invited Talk
(joint with WoMO)

Paper #9

Paper #22

18:00

Paper #10

Paper #23

 

 

19:30

Reception

 

 

21:00

Social Dinner     (joint with LPNMR)

Invited talks

  1. George Vouros Combing Ontologies in Settings with Multiple Agents
  2. Pietro Baroni Mind the Gap: Abstract vs. Applied Argumentation (slides)
  3. Gerhard Brewka Towards Reactive Multi-Context Systems
  4. Sven Ove Hansson Intuition Pumps for Deontic Logic

Regular Papers

  1. Elena Cabrio, Sara Tonelli and Serena Villata From Discourse Analysis to Argumentation Schemes and back: Relations and Differences
  2. Ringo Baumann and Gerhard Brewka Analyzing the Equivalence Zoo in Abstract Argumentation
  3. Adam Wyner, Trevor Bench-Capon and Paul Dunne On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks (slides)
  4. 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)
  5. Ofer Arieli A Sequent-Based Representation of Logical Argumentation
  6. Hannes Strass Instantiating Knowledge Bases in Abstract Dialectical Frameworks (slides)
  7. Sylwia Polberg, Johannes Peter Wallner and Stefan Woltran Admissibility in the Abstract Dialectical Framework (slides)
  8.  Pierpaolo Dondio Computing the Grounded Semantics in all the Subgraphs of an Argumentation Framework: An Empirical Evaluation
  9. Johannes Peter Wallner, Georg Weissenbacher and Stefan Woltran Advanced SAT Techniques for Abstract Argumentation (slides)
  10. Alsinet Teresa, Béjar Ramón, Godo Lluís and Francesc Guitart Web based system for weighted defeasible argumentation
  11. Nils Bulling and Mehdi Dastani Coalitional Responsibility in Strategic Settings
  12. Jeffrey Kane and Pavel Naumov Symmetries and Epistemic Reasoning
  13. Wojtek Jamroga and Masoud Tabatabaei Accumulative Knowledge Under Bounded Resources
  14. Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, Joao Leite and Martin Slota Time is up! - Norms with Deadlines in Action Languages (slides)
  15. Ana Sofia Gomes and Jose Julio Alferes External Transaction Logic with Automatic Compensations
  16. Barbara Dunin-Kęplicz and Alina Strachocka Perceiving Rules under Incomplete and Inconsistent Information
  17. Louise Dennis, Michael Fisher and Matt Webster Using Agent JPF to Build Models for Other Model Checkers
  18. 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
  19.  Pere Pardo and Lluis Godo A temporal argumentation approach to cooperative planning using dialogues
  20.  Peter Novák and Cees Witteveen Reconfiguration of Large-Scale Surveillance Systems
  21. Marco Aurisicchio, Pietro Baroni, Giorgio Bertanza, Marco Romano and Francesca Toni An Argumentation-Based Approach for Automatic Evaluation of Design Debates
  22. Henry Prakken, Dan Ionita and Roel Wieringa Risk assessment as an argumentation game
  23. 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.

La Maestranza - Rectorado de la Universidad de La Coruña

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.

santiago_de_compostela catedral3

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.

Coruña - Domus