NMR 2004
Call for Papers
Important Dates
Programme Committee
Author Instructions

Foundations of Nonmonotonic Reasoning
Computational Aspects of Nonmonotonic Reasoning
Action and Causality
Belief Change
Uncertainty Frameworks
Argument, Dialogue and Decision

NMR logo

International Workshop on
Non-Monotonic Reasoning

June 6-8, 2004
Westin Whistler Resort and Spa,
Whistler BC, Canada

Argument, Dialogue and Decision


Specialized workshop in conjunction with NMR2004 (www.pims.math.ca/science/2004/NMR/papers.html)

There is now a substantial literature on argumentation in artificial intelligence. Much of this work is closely related and in some case derived from research in non-monotonic logics. Many interesting proposals have been made, and there is increasing interest in applying argumentation in various domains.

However, there are also many research questions surrounding proposals for argumentation, both at the theoretical level and at the applications level. Problems include computational complexity, viable implementations, semantics for arguments, richer formal ontologies for describing different kinds of argument, incorporation of domain or world knowledge in argumentation systems, handling time in argumentation, handling uncertainty in argumentation, presentation of arguments to non-technical users, finding applications where users can use the results of argumentation, the need for toolkits, and so on. We need to better understand these problems, and many others besides, and some of them seem to call for bold new proposals.

Argumentation can be studied on its own, but it also has interesting relations with other topics, such as dialogue and decision. For instance, argumentation is an essential component of phenomena such as fact finding investigations, negotiation, legal procedure and online dispute mediation. However, only recently researchers have begun to explore the use of argumentation in these contexts. This specialized workshop aims to bring these researchers together, to promote the logical study of argumentation and its connections with decision and dialogue. In particular, we invite submissions of original research on the following topics.


The study of argument-based logics including

  • semantics
  • proof theory
  • complexity and resource limitations
  • applications to epistemic and practical reasoning
  • applications to informal theories of argumentation
  • comparison with other types of nonmonotonic logic

The development of argument-based logical systems in formal models of multiagent interaction, such as:

  • fact finding investigations
  • negotiation
  • legal procedure
  • dispute resolution and mediation
  • decision making

Anthony Hunter (a.hunter@cs.ucl.ac.uk)
Jerome Lang (lang@irit.fr)

Leila Amgoud, IRIT, Toulouse, France
Gerd Brewka, Universitat Leipzig, Leipzig, Germany
Anthony Hunter, UCL, London, UK
Jerome Lang
IRIT, Toulouse, France
Simon Parsons, Brooklyn College, New York, USA
Henry Prakken, Universiteit Utrecht, Utrecht, The Netherlands
Guillermo Simari, Universidad del Sur, Bahia Blanca, Argentina
Francesca Toni, Imperial College, London, UK and Pisa University, Italy
Leon van der Torre, CWI, Amsterdam, The Netherlands
Bart Verheij, Universiteit Maastricht, Maastricht, The Netherlands

All NMR2004 subworkshops have the same submission requirements. Submissions are limited to 12 pages (excluding title page and references) of standard LaTeX 12pt article format. Send a pdf file with the submission to each of the organizers (Anthony Hunter (a.hunter@cs.ucl.ac.uk) and Jerome Lang (lang@irit.fr)) by e-mail.

Final papers, limited to 9 KR-style pages, will be distributed at the meeting along with papers from the other NMR workshops. Accepted papers will also be arranged into on-line proceedings.

The other specialized workshops that will be held at NMR2004 are:

Submission of papers February 27, 2004
Notification of acceptance March 20, 2004
Final version (pdf file) April 17, 2004
Conference Dates: June 6-8, 2004


Generation and evaluation of different types of arguments in negotiation
Leila Amgoud and Henri Prade

A recursive approach to argumentation: motivation and perspectives
Pietro Baroni and Massimiliano Giacomin

Checking the acceptability of a set of arguments
Philippe Besnard and Sylvie Doutre

Dialogues and HY-arguments
Martin Caminada

A first approach to argument-based recommender systems based on defeasible logic programming
Carlos Ivan Chesnevar, Ana Gabriela Maguitman and Guillermo Ricardo Simari

On sceptical vs credulous acceptance for abstract argument systems
Sylvie Doutre and Jerome Mengin

Combining goal generation and planning in an argumentation framework
Joris Hulstijn and Leendert van der Torre

Towards higher impact argumentation
Anthony Hunter

Theory of multiple-valued defeasible argumentation and its applications
Takehisa Takahashi and Hajime Sawamura

Preferential defeasiblity: utility in defeasible logic programming
Fernando A. Tohme and Guillermo R. Simari

© 2003 Pacific Institute for the Mathematical Sciences
Last Modified: April 15, 2004