[We apologize if you receive multiple copies of this call.]
*******************************************************************************
6th International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR'01
Vienna, Austria, September 17--19, 2001
http://www.kr.tuwien.ac.at/lpnmr01/
CALL FOR SYSTEM PRESENTATIONS
*******************************************************************************
AIM AND SCOPE
Recent years have resulted in several exciting developments in the
field of LPNMR. One of them is the emergence of answer-set programming.
It can be directly attributed to the development of successful LPNMR
systems such as Smodels and DLV. Despite the progress, we are clearly
still at the beginning of the road towards practical computational
environments supporting answer-set programming and nonmonotonic
reasoning.
To further spur research in this direction, as part of the technical
program of LPNMR'01 we plan a special session devoted to presentations
and demonstrations of implemented answer-set programming and, more
broadly, nonmonotonic reasoning systems. The session will take place
in one of the evenings of during the conference, presumably on Monday,
September 17, 2001. Support for some standard platforms will be
provided, but laptop presentations for backup are strongly
encouraged.
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 (4 page length limit).
*******************************************************************************
SUBMISSION DETAILS
The authors should submit a brief 1-page description of the system.
The submission must be in the postscript format. It must be e-mailed
to either of the two conference co-chairs:
Thomas Eiter - [EMAIL PROTECTED]
Mirek Truszczynski - [EMAIL PROTECTED]
The abstract must be received by May 28, 2001
The full system description is due June 21, 2001. It must be formatted
according to the Springer LNCS/LNAI authors' instructions and cannot
exceed 4 pages (all included). The instructions can be found at
http://www.springer.de/comp/lncs/authors.html
*******************************************************************************
IMPORTANT DATES
1-page abstract submission May 28, 2001
Final system description note
(4 pages) June 21, 2001
*******************************************************************************
BENCHMARK SET
An important issue for development of effective answer-set programming
systems is that of benchmarks. Benchmark problems will allow us to
compare modeling capabilities of answer-set programming systems as well
as their computational performance. We intend to establish a comprehensive
set of diverse benchmarks for answer-set programming and require that
system presenters at the conference discuss the performance of their
systems on benchmark problems in the set.
Therefore, we invite you to submit statements of problems for possible
inclusion in the benchmark set. These statements should be submitted by
e-mail, no later than by May 28, to either of the two conference
co-chairs:
Thomas Eiter - [EMAIL PROTECTED]
Mirek Truszczynski - [EMAIL PROTECTED]
*******************************************************************************
LPNMR'01, 6th International Conference on Logic Programming and
Nonmonotonic Reasoning, Vienna, Austria, September 17--19, 2001
http://www.kr.tuwien.ac.at/lpnmr01/
LPNMR'01 is the sixth in the series of international meetings on
logic programming and nonmonotonic reasoning and will be collocated
with the Joint German/Austrian Conference on AI (KI 2001), which
will be held from September 19--21 2001 in Vienna.
*******************************************************************************
