| Time | Talk |
| Wednesday, 8/9/04 |
| 8:30 |
|
| 9:00 |
Invited Talk (ICLP) |
| 9:30 |
Gelfond |
| 10:00 |
Coffee Break |
| 10:30 |
Invited Talk (PPSWR) |
| 11:00 |
Grosof |
| 11:30 |
On Subtyping of Tree-structured Data A Polynomial Approach
François Bry, Wlodzimierz Drabent, and Jan Maluszynski
|
| 12:00 |
Towards generic query, update, and event languages for the Semantic Web
Wolfgang May, José Júlio Alferes, and François Bry
|
| 12:30 |
Lunch |
| 14:30 |
Data Retrieval and Evolution on the (Semantic) Web: A Deductive
Approach
François Bry, Tim Furche, Paula-Lavinia Patrânjan,
and
Sebastian Schaffert
|
| 15:00 |
Rules and Queries with Ontologies: a Unified Logical Framework
Enrico Franconi and Sergio Tessaris
|
| 15:30 |
Semantic Web Reasoning for Ontology-based Integration of Resources
Liviu Badea, Doina Tilivea, Anca Hotaran
|
| 16:00 |
Static Typechecking of Datalog with Ontologies
Jakob Henriksson and Jan Maluszynski
|
| 16:30 |
Coffee Break |
| 17:00 |
Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming
Hongwei Zhu, Stuart E. Madnick, and Michael D. Siegel
|
| 17:30 |
Towards a Multi-Calendar Temporal Type System for (Semantic) Web
Query Languages
François Bry and Stephanie Spranger
|
| 18:00 |
Calendrical Calculations with Time Partitionings and Fuzzy Time
Intervals
Hans Jürgen Ohlbach
|
| 18:30 |
|
| Thursday, 9/9/04 |
| 8:30 |
|
| 9:00 |
Invited Talk (ICLP) |
| 9:30 |
Dershowitz |
| 10:00 |
Coffee Break |
| 10:30 |
Invited Talk (PPSWR) |
| 11:00 |
|
| 11:30 |
DR-DEVICE: A Defeasible Logic System for the Semantic Web
Nick Bassiliades, Grigoris Antoniou, and Ioannis Vlahavas
|
| 12:00 |
A PDDL based Tool for Automatic Web Service Composition
Joachim Peer
|
| 12:30 |
Lunch |
| 16:00 |
Trip to Mont St. Michel |