2-3 Apr 2012
Luxembourg, Luxembourg
Workshop On The Dynamics Of Argumentation Rules And Conditionals (darc)
April 2-3 2012
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.
The event is open to all researchers working, planning to work, or
just interested in these topics. Website:
http://icr.uni.lu/darc/Home.html
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)
-João Leite (University of Lisbon)
Additional invited speakers will be announced later.
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:
- Dynamic aspects of abstract argumentation, e.g., adding/removal of
arguments and/or attacks
- Dynamics in instantiated argumentation systems
- Modeling change via negotiation and/or dialogue
- Belief change for rule-based agents
- Dynamics of conditional knowledge
- Dynamics of conditional norms
- Dynamics of default rules
-Updates in logic programming
- Revision and contraction in Horn Logic
Location: University of Luxembourg
Venue: Salle Paul Feidert, Campus Kirchberg.
Date: April 2-3, 2012
Organized by:
ICR (Individual and Collective Reasoning Group)
The Computer Science and Communications Research Unit
University of Luxembourg
Organizers:
Richard Booth
Emil Weydert
Tjitze Rienstra