Mar 17

Syposium Day 1


Download the abstracts of the presentations
  • 10:00--10:40 --- Registration + Coffee ---

  • 10:40--11:10 Dov Gabbay: Talmudic Norms Approach to the Paradox of the Heap: A Position Paper
  • 11:10--11:25 Diego Agustin Ambrossio: A Non-Monotonic Logic for Distributed Access Control

  • 11:25--11:50 --- Break + Coffee ---

  • 11:50--12:05 Srdjan Vesic: Ranking Arguments With Compensation-Based Semantics
  • 12:05--12:20 Marcos Cramer: Cognitive Aspects of Formal Argumentation
  • 12:20--12:25 Zhe Yu: Analysis of natural language argumentation in trial cases — where does uncertainty come from?
  • 12:25--12:30 Patrice Caire: Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots

  • 12:30--14:00 --- Lunch break ---

  • 14:00--14:30 Aldo Gangemi: Tackling higher-order and contextual phenomena in Open Knowledge Extraction
  • 14:30--14:45 Livio Robaldo: Natural Language Processing and Natural Language Semantics for representing/mining knowledge from Legal Text
  • 14:45--15:00 Guillaume Aucher: Multi-Agent Only Knowing on Planet Kripke
  • 15:00--15:15 Francois Schwarzentruber: Overview about Epistemic planning

  • 15:15--15:45 --- Break + Coffee ---

  • 15:45--16:00 Martin Caminada: Some reflections on obtaining a lectureship in the UK
  • 16:00--16:15 Dragan Doder: Decreasing and Resolving Inconsistency by Minimal Knowledge Base Changes
  • 16:15--16:30 Richard Booth: Trust-sensitive Belief Revision
  • 16:30--16:45 Giovanni Casini: On the Entailment Problem for a Logic of Typicality
  • 16:45--17:00 Leon van der Torre: Delegation and Revocation - How to be the Boss

  • 19:30--??:?? --- Diner ---

Mar 18

Syposium Day 2


Download the abstracts of the presentations
  • 10:00--10:40 --- Registration + Coffee ---

  • 10:40--11:10 Juergen Dix: An agent-based simulation platform and its use for software projects
  • 11:10--11:25 Joris Hulstijn: Towards Trusted Trade Lanes

  • 11:25--11:45 --- Break + Coffee ---

  • 11:45--12:00 Emil Weydert: Nonmonotonic reasoning for set theory
  • 12:00--12:15 Xavier Parent: On Cumulative Transitivity from Deontic Perspective
  • 12:15--12:30 Mehdi Dastani: Monitoring Interaction in Organizations Using Norm Enforcement

  • 12:30--14:00 --- Lunch break ---

  • 14:00--14:15 Gabriella Pigozzi: Voting and deliberation
  • 14:15--14:30 Marija Slavkovik: Beyond murder and mayhem: machine ethics challenges in ICR
  • 14:30--14:45 Serena Villata: Emotions and Personality Traits in Argumentation
  • 14:45--15:00 Manuela Jungmann: Recursive Interaction Design

  • 15:00--15:30 --- Break + Coffee ---

  • 15:30--15:45 Wojtek Jamroga: On Module Checking and Strategies
  • 15:45--16:00 Masoud Tabatabaei: Information Security as Strategic (In)effectivity
  • 16:00--16:15 Xin Sun: Norm Creation in Games
  • 16:15--16:30 Marc van Zee: Intention Reconsideration as Metareasoning
  • 16:30--16:45 Jan Broersen: Intention as the locus of moral responsibility