In recent years one of the exciting developments in the field of LPNMR
has been the emergence of answer set programming. It can be directly
attributed to the development of successful LPNMR systems such as
Smodels and DLV. To further spur research in this direction, as part of
the technical program of LPNMR-7 we plan a special session devoted to
presentations and demonstrations of implemented answer-set programming
and, more broadly, nonmonotonic reasoning systems.
Thus, we solicit submissions to this special session. A system
description should provide information on the theoretical background,
major features and implementation techniques and experimental
evaluation. Comments on programming methodology and information on
system availability are also welcome.
Accepted system descriptions will be published in the conference
proceedings (four page length limit).
System descriptions must be written in English and must not exceed
four (4) pages including title page, references and figures. They
must be formatted according to the Springer LNCS/LNAI authors'
System description submission is electronic via the conference home page
Papers must be registered (title,
abstract, authors, contact information) and uploaded by Aug
22, 2003, 23:59:59 GMT.
Deadline for submission: August 22, 2003
Notification to authors: September 29, 2003
Final version: October 15, 2003
Conference: January 6-8, 2004