Monday
(03/26/01)
|
9 am - 9:10 am
|
Welcome and announcements
|
|
9:10 am - 10:30 am
(Answer sets from a different perspective)
|
Invited speaker: Selman (60)
|
|
Answer Set Programming and Bounded Model Checking (Keijo Heljanko
and Ilkka Niemela) (20)
|
|
11 am - 12:30 pm
(Computational & representational aspects )
|
Representing Configuration Knowledge With Weight Constraint Rules
(Timo Soininen, Ilkka Niemela, Juha Tiihonen, and Reijo Sulonen) (30)
|
Dynamical Properties of Answer Set Programs
(Howard A. Blair) (20)
|
|
Computing Preferred and Weakly Preferred Answer Sets by MetaInterpretation
in Answer Set Programming (Thomas Eiter, Wolfgang Faber, Nicola Leone,
and Gerald Pfeifer) (20)
|
|
Comparing different graph representations of logic programs
under the Answer Set semantics (Stefania Costantini) (20)
|
|
2 pm - 3:30 pm
(Parallelism)
|
Computing stable models in parallel (R.A. Finkel, V.W. Marek,
N. Moore and M. Truszczynski) (20)
|
|
Exploiting Vertical Parallelism from Answer Set Programs (Abstract)
(Enrico Pontelli and Omar ElKhatib) (20)
|
|
6 poster annoucements (50)
|
|
4 pm - 5:30 pm
|
Poster session
|
|
6 pm - 7 pm
|
Reception
|
Tuesday
(03/27/01)
|
9 am - 10:30 am
(Theory)
|
On the Foundations of Answer Set Programming (V.W.Marek and
J.B.Remmel) (30)
|
|
Transitive Closure, Answer Sets and Predicate Completion (Esra
Erdem and Vladimir Lifschitz) (20)
|
|
A Comparative Study of Logic Programs with Preference: Preliminary
Report (Torsten Schaub and Kewen Wang) (20)
|
|
Useful Transformations in Answer set programming (M. Osorio, J.
C. Nieves, and C. Giannella) (20)
|
|
11 am - 12:30 pm
(Knowledge Representation)
|
Additive Fluents
(Joohyung Lee and Vladimir Lifschitz) (30)
|
Effect of knowledge representation on model based planning:
experiments using logic programming encodings
(Lechi Tuan and Chitta Baral) (20)
|
More on Wire Routing with ASP
(Deborah East and Miroslaw Truszczynski) (20)
|
|
Pertinence Logic Characterisation of Stable Models (Preliminary
Report) (Ramon P. Otero)
|
|
2 pm - 3:30 pm
|
Benchmark presentation (10)
Systems presentation (50)
- smodels (HUT)
- DLV (TU Vienna)
- XSB (by Teknowledge)
- PLP & Nomore (Potsdam)
- PS (Kentucky)
|
|
3 Poster annoucements
|
|
2 Position Papers
|
|
4 pm - 5:30 pm
|
Posters/system demo session
|
|
6 pm - 7 pm
|
Plenary Session
speaker: Vladimir Lifschitz
|
Wednesday
(03/28/01)
|
9 am - 10:30 am
(New Applications)
|
Diagnosing Dynamic Systems in AProlog
(Michael Gelfond and Joel Galloway) (30)
|
|
Learning by Answer Sets (Chiaki Sakama) (20)
|
Reasoning about Policies using Logic Programs
(Tran Cao Son and Jorge Lobo) (20)
|
|
An AProlog decision support system for the Space Shuttle
(M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry) (20)
|
|
11 am - 12:30 pm
|
Extending Answer Set Planning with Sequence, Conditional, Loop,
Non-Deterministic Choice, and Procedure Constructs
(Tran Cao Son, Chitta Baral, and Sheila McIlraith) (20)
System demo results + Romp session
|
|
Wrap Up
|