Forwarded message from [denecker@cs.uky.edu (Marc Denecker)] sent originally on Fri, 5 Nov 1999 10:03:22 -0500: : 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@cs.kuleuven.ac.be) : Antonis Kakas University of Cyprus, Cyprus (antonis@cs.ucy.ac.cy) : Francesca Toni, Imperial College (ft@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

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html