Click here for some photos from the workshop.

About DARC

In recent years, argumentation theory has become an important topic in computer science and artificial intelligence, generating not only an impressive amount of theoretical work but also serving a growing number of practical applications. In fact, complex technical systems and services are increasingly based on autonomous artificial and human agents who have to communicate and collaborate to achieve their objectives. This involves negotiation, persuasion, and consensus-building among agents with different capabilities and viewpoint, a major issue for agreement technologies.

The understanding, modeling, and realization of these complex argumentative processes requires a dynamic, interdisciplinary perspective, which integrates and extends existing work in argumentation theory and knowledge representation. This can be done on an abstract level, inspired by the influential theory of Dung and his followers, or on an interpreted level, that is within within a specific, typically defeasible inference system. Arguments here take the form of chains or trees of conditional reasons. Relevant areas are the dynamics of rule-based reasoning, logic-programming, and default inference with conditionals, as well in the context of epistemic/doxastic as in normative reasoning.

The DARC workshop is intended to bring together people interested in the dynamics of formal argumentation understood in a broad sense, to exchange ideas, techniques, and results.

This workshop is associated to the DYNARG project.

The event is open to all researchers working, planning to work, or just interested in these topics. There is no registration fee.

Invited speakers are:

- Alexander Bochman (Holon Institute of Technology)

1. -João Leite (New University of Lisbon)
   

2. -Henry Prakken (Utrecht University)
   

If you are interested to attend then please send an email, preferably well in advance of the workshop, to one of the organisers richard.booth/at/uni.lu, emil.weydert/at/uni.lu or tjitze.rienstra/at/uni.lu stating your interest in this workshop. Additionally, if you would like to present your work at DARC then please send an abstract to the organisers.

Topics of interest include:

1. - Dynamic aspects of abstract argumentation, e.g., adding/removal of arguments and/or attacks
   

1. - Dynamics in instantiated argumentation systems
   

1. - Modeling change via negotiation and/or dialogue
   

1. - Belief change for rule-based agents
   

1. - Dynamics of conditional knowledge
   

1. - Dynamics of conditional norms
   

1. - Dynamics of default rules
   

1. -Updates in logic programming
   

1. - Revision and contraction in Horn Logic