Accepted Regular Papers
German Puebla, Elvira Albert and Manuel Hermenegildo
Efficient local unfolding with ancestor stacks
- Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl and Peter Schneider-Kamp.
Polytool: polynomial interpretations as a basis for termination
analysis of Logic programs
- Frank Raiser and Thom Frühwirth.
Analyzing graph transformation systems through constraint handling
- Edmund S. L. Lam and Martin Sulzmann.
Concurrent goal-based execution of constraint handling rules
- Luciano Caroprese and Miroslaw Truszczynski.
Active integrity constraints and revision programming
Elvira Albert, Puri Arenas, Germán Puebla, and Manuel Hermenegildo.
Certificate size reduction in Abstraction-Carrying Code
Accepted Technical Notes
Victor W. Marek and Jeffrey B. Remmel
Guarded resolution for answer set programming