Spring 2001 Symposium
Stanford, March 26-28 2001
Organizers: Alessandro Provetti and Son Tran Cao.
Several ASP systems are now available, among them are DeReS, dlv, smodels and XSB. Several others can be found through the Library of Logic Programming Systems and Test Cases. These systems support provably correct inferences and are at least as fast and scalable as SAT checkers. These are exciting results for the NMR community and they are attracting the attention of researchers from fields such as planning, cryptography and system verification.
We invite submissions of research abstract, position papers,
system demonstrations and experience reports on all aspects of ASP. Here
is an incomplete list of `global' questions that authors might want to
- what are the strengths of ASP vis-a-vis satisfiability, CSP, abduction, argument-based reasoning and model checking;
- what applications are going to give a perceivable edge (diagnosis, active databases..); and
- what is a fair benchmark to evaluate progress in implementation, preferably beyond random-generated instances.
Some of the specific topics that we would like to discuss at the workshop (through either panel discussions or individual presentations) are:
* new Answer Sets computation algorithms, performance, correctness etc.
* Software engineering of Answer Set Programming
* application experiences in, and issues arising from
-- planning and robot control
-- system verification
-- hard functions, e.g., public-key cryptography
-- active databases/data-intensive applications and
* Study of the relation between the inference methods for Answer Sets and those developed for SAT or abduction, and
* Creation of a working group for defining a specific benchmark for evaluating Answer Sets algorithms.
Abstracts are due October 9th. Notification will be sent by November 4th.
E-mail your submission (in poscript) to either chair.
FORMAT: Authors are encouraged to submit up to 7 pages in AAAI style.
PROGRAM COMMITTEE (* = organizing committee)
|C. Baral*||(email@example.com)||Arizona State University|
|S. Costantini||(firstname.lastname@example.org)||Università di L'Aquila|
|M. Gelfond||(Michael.Gelfond@coe.ttu.edu)||Texas Tech University|
|A. Kakas||(email@example.com)||University of Cyprus|
|N. Leone||(firstname.lastname@example.org)||TU Wien|
|V. Lifschitz*||(email@example.com)||University of Texas at Austin|
|S. McIlrath*||(firstname.lastname@example.org)||Knowledge Systems Lab - Stanford University|
|I. Niemela*||(email@example.com)||Helsinki University of Technology|
|M. Pagnucco||(firstname.lastname@example.org)||Macquarie University|
|E. Pontelli||(email@example.com)||New Mexico State University|
|H. Turner||(firstname.lastname@example.org)||University of Minnesota-Duluth|
|M. Truszczynski||(email@example.com)||University of Kentucky|
|J-H. You||(firstname.lastname@example.org)||University of Alberta|