ABDUCTIVE REASONING
 NMR 2000
Special Session

Organizers:

Over the last two decades studies have shown how abductive reasoning can be used to address variety of problems.  These problems include updates in databases, belief revision, planning, diagnosis, natural language understanding, default reasoning, user modeling and, more generally, problems requiring reasoning with incomplete information.  Despite this wide range of potential applications of abduction, there has been relatively little work on showing how abduction can provide an effective computational model for practical problems. The field lacks coherent methodological guidelines and general-purpose, working systems, that could be employed for this variety of problems, and real-life applications.

For this reason, NMR 2000, the 8th workshop in the NMR series, includes a special one-day session devoted to abductive reasoning. Its main purpose is to evaluate the role of abduction in applications and to address the question of what general methodologies or "engineering/programming/modeling" principles are appropriate for the development of abductive applications.

We are seeking papers on the theory and practice of abductive reasoning. Emphasis will be given on recent and novel applications and systems of abduction which could help establish its role within AI and more generally its role as a computational problem solving paradigm. Of particular interest for the session are the following topics:


Informal proceedings containing accepted papers and other workshop materials will be distributed at the meeting.  In addition, they will be published on the web.

The general procedure for submission of the special session is identical to the procedure of NMR2000. Format requirements are:

       12 double-spaced pages excluding title page and bibliograpy
       on-line submissions are encouraged (postscript file)


IMPORTANT DATES:

       Submission of papers: January 15, 2000
       Acceptance decision by: February 15, 2000
       Camera ready copy due: March 8, 2000


Electronic copies of the papers can be submitted to any of the organisers of
the session:

PROGRAM COMMITTEE:
Marc Denecker
Thomas Eiter
Randy Goebel
Katsumi Inoue
Antonis Kakas
David Poole
Daniele Theseider Dupre
Francesca Toni


 Back to NMR2000