AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

CALL FOR PARTICIPATION: Dynamics of Argumentation Rules and Conditionals, 2-3 Apr 2012, Luxembourg, LUXEMBOURG

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

The DARC workshop is intended to bring together peopleinterested in the dynamicsof 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)
     -Joo 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