Workshop: Dynamics Of Argumentation, Rules, and Conditionals (DARC)

[emil.weydert at uni.lu]

Workshop: Dynamics Of Argumentation, Rules, and Conditionals (DARC)

Luxembourg, April 2-3 2012

http://icr.uni.lu/darc/Home.html

The DARC workshop wants to bring together people interested in the 
dynamics of formal argumentation - understood in a broad sense - to 
exchange ideas, techniques, and results. DARC is associated to the 
DYNARG project in Luxembourg.

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)

In recent years, argumentation theory has become increasingly important 
in computer science and artificial intelligence, generating not only an 
impressive amount of theoretical work but also serving a growing number 
of practical applications.

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

If you are interested to attend then please send an email to all the 
organizers

richard.booth/at/uni.lu
emil.weydert/at/uni.lu
tjitze.rienstra/at/uni.lu.

Additionally, if you would like to present your work at DARC then please 
send us also an abstract. Depending on the number of quality submssions, 
we may split the presentations into shorter/longer ones.

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
        6 rue Richard Coudenhove-Kalergi
        L-1359 - Luxembourg

Date: April 2-3, 2012

Organized by:

ICR (Individual and Collective Reasoning Group)
Computer Science and Communications Research Unit (CSC)
University of Luxembourg

Organizers:

Richard Booth
Emil Weydert
Tjitze Rienstra
.