[mercury-users] CFP NMR2000 -> abduction

[Marc Denecker]

Apologies for multiple copies.


******************************************************************

                          CALL FOR PAPERS

******************************************************************

                                     NMR 2000

                Special session on ABDUCTIVE REASONING

******************************************************************


Over the last two decades several studies have shown how abductive
reasoning can be used to address a 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 would be to evaluate the role of abduction in
applications and to try 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:

   o  role of abduction in Artificial Intelligence,

   o  proof procedures and systems for abduction,

   o  methodologies for applications of abduction,

   o  novel applications of abduction,


The general procedure for submission of the special session is
identical to the procedure of NMR2000. Informal proceedings containing
accepted papers and other workshop materials will be distributed at
the meeting.  In addition, they will be published on the web.  Format
requirements for regular submissions are:

       12 double-spaced pages excluding title page and bibliography
       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 the organisers of
the session:

       Marc Denecker K.U.Leuven, Belgium (Marc.Denecker at cs.kuleuven.ac.be)
       Antonis Kakas University of Cyprus, Cyprus (antonis at cs.ucy.ac.cy)
       Francesca Toni, Imperial College (ft at doc.ic.ac.uk)

Program Committee:
   
       Marc Denecker 
       Thomas Eiter
       Randy Goebel
       Katsumi Inoue
       Antonis Kakas 
       Daniele Theseider Dupre 
       Francesca Toni


http://www.cs.engr.uky.edu/nmr2000/abduction.html


--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------