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
rules. - Edmund S. L. Lam and Martin Sulzmann.
Concurrent goal-based execution of constraint handling rules -
Miroslaw Truszczynski. Trichotomy and dichotomy results on the complexity of reasoning
with disjunctive logic programs
- 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