Call for System Descriptions
and Demonstrations
NMR
2000
Special Session
Organizer:
-
Juergen Dix,
University of Koblenz (dix@uni-koblenz.de)
Following LPNMR 97 and LPNMR 99, we
will have demonstrations of nonmonotonic systems. Descriptions of working
automated deduction systems (including prototypes) for logic programming,
nonmonotonic reasoning, inductive reasoning, planning and similar areas
are solicited for the NMR 2000. The emphasis is on systems that incorporate
some features of non-monotonic reasoning. A system description should provide
information on the theoretical background, the major features and implementation
techniques, and experimental evaluation.
Accepted system descriptions will be
published in the informal conference proceedings (10 pages). It is expected
that one of the authors will attend the conference to give a demonstration
of the system.
For more information
contact Juergen Dix at dix@uni-koblenz.de
Important:
in order ot present a demo, you must have a stand alone version on their
own laptop. We will have sufficient projectors available, but most probably
no networking facilities.
Submission details:
-
Please submit information
about your system online by filling the form at http://www.uni-koblenz.de/ag-ki/LP/lp.html
Fill the slots using ascii. Provide as complete information as possible.
-
Please also submit
a latex version for the informal proceedings. The required Latex form and
standard Springer Lecture Notes style files can be obtained at http://cs.engr.uky.edu/nmr2000/FORM.tar.
After downloading the file, untar it with the command tar
-xf FORM.tar . This will produce a subdirectory NMR2000 with
three files: a latex file Systems_Form.tex and two style files:
llncs.cls and llncs.sty. Fill in the template provided by
the file Systems_Form.tex. The input for the sections: General Information,
Applying the System and Evaluating the System are mandatory.
-
Send the ps-version
of your submission directly to
Juergen Dix at dix@uni-koblenz.de
-
In case of questions,
contact Juergen Dix at dix@uni-koblenz.de
Important dates:
-
Submission of descriptions: February 14,
2000
-
Acceptance decision by: February 28, 2000
-
Camera ready copy due: March 8, 2000
Back to NMR2000