Accepted Papers

Hai-Feng Guo, Miao Liu
Embedding Solution Preferences via Transformation

Tiago Soares, Michel Ferreira, Ricardo Rocha, and Nuno Fonseca
On Applying Deductive Databases to Inductive Logic Programming: a Performance Study

Ricardo Rocha
Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System

Bart Demoen, Phuong-Lan Nguyen
Delay and events in the TOAM and the WAM

Quan Phan, Gerda Janssens
Towards Region-based Memory Management for Mercury Programs

Remko Troncon, Bart Demoen, and Gerda Janssens
When tabling does not work

Pedro Costa, Ricardo Rocha, and Michel Ferreira
DBTAB: a Relational Storage Model for the YapTab Tabling System

Lukas Chrpa
Linear Logic: Foundations, Applications and Implementations