Program

All sessions will take place in Suite 2928 unless otherwise indicated.

Monday, August 21st

Monday's program is also available with abstracts or side by side with other meetings.

09:30‑10:30  Invited Tutorial

09:30

Neng-Fa Zhou (City Univerity of New York at Brooklyn College and Graduate Center) AR (Action Rules): The Language, Implementation, and Applications [ppt]

10:30‑11:00  Break

11:00‑12:30  Session 1

11:00	Ricardo Rocha Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System
11:30	Remko Troncon , Bart Demoen and Gerda Janssens When tabling does not work
12:00	Hai-Feng Guo and Miao Liu Embedding Solution Preferences via Transformation

12:30‑14:00  Lunch break

14:00‑15:30  Session 2

14:00	Bart Demoen and Phuong-Lan Nguyen Delay and events in the TOAM and the WAM
14:30	Tiago Soares , Michel Ferreira, Ricardo Rocha and Nuno Fonseca On Applying Deductive Databases to Inductive Logic Programming: a Performance Study
15:00	Quan Phan and Gerda Janssens Towards Region-based Memory Management for Mercury Programs

15:30‑16:00  Break

16:00‑17:00  Session 3

16:00	Pedro Costa, Ricardo Rocha and Michel Ferreira DBTAB: a Relational Storage Model for the YapTab Tabling System
16:30	Lukas Chrpa Linear Logic: Foundations, Applications and Implementations