7th International Conference on Logic Programming and Nonmonotonic Reasoning

Important Dates
Call for Papers
Call for System Descriptions
Program Committee
Paper Submission
Accepted Papers
Author Instructions
Invited Talks
Travel Information

7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7)
Fort Lauderdale, Florida, USA January 6-8, 2004
Co-located with the 8th AIMATH and CLIMA IV

Call for System Descriptions

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' instructions (see http://www.springer.de/comp/lncs/authors.html).

System description submission is electronic via the conference home page http://www.tcs.hut.fi/Conf/lpnmr-7/. Papers must be registered (title, abstract, authors, contact information) and uploaded by Aug 22, 2003, 23:59:59 GMT.

Important Dates

Deadline for submission: August 22, 2003
Notification to authors: September 29, 2003
Final version: October 15, 2003
Conference: January 6-8, 2004

Latest update: 09 July 2003.