Workshop 1 - Action languages and Causal Reasoning

R.Baldwin, E.Neufeld
"The Structural Model Interpretation of the NESS Test"

A.Hunter
"Adding Modal Operators to the Action Language A"

A.Herzig, I.Varzinczak
"Domain Descriptions should be Modular"

Workshop 1 - Computational Aspects of NMR

D. A. Meyer, J. Pommersheim, and J. B. Remmel:
"Finding Stable Models via Quantum Computation"

T. Linke, H. Tompits, and S. Woltran:
"On Acyclic and Head-Cycle Free Nested Logic Programs"

K. Satoh
"All's Well that Ends Well: A Proposal of Global Abduction"

Workshop 2- Frame Problem and Planning

T.Eiter, E.Erdem, W.Faber
"Plan Reversals for Recovery in Execution Monitoring"

A.Bracciali, A.Kakas
"Frame Consistency: Reasoning with Explanations"

G.Simari, A.Garcia, M.Capobianco
"Actions, Planning and Defeasible Reasoning"

Workshop 2- Computational Aspects of NMR

E. Giunchiglia, Y. Lierler, and M. Maratea:
"A SAT-Based Polynomial Space Algorithm for Answer Set Programming"

N. Leone, S. Perri, and F. Scarcello:
"BackJumping Techniques for Rules Instantiation in the DLV system"

O. Elkhatib, E. Pontelli, T. C. Son:
"ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog"

G. Ianni, G. Ielpa, A. Pietramala, M. C. Santoro, and F. Calimeri:
"Enhancing Answer Set Programming with Templates"