Session: Knowledge Representation and AI (1)
09:00 - 10:10 Marina De Vos Implementing Ordered Choice Logic Programming using Answer Set Solvers 10:10 - 10:50 V.N. Huynh, T. Murai, Y. Nakamori, T. B. Ho A New Approach to Belief Modeling 11:10 - 12:20 Alexander Lyaletski Computer-Oriented Calculi of Sequent Trees Lunch Break
Invited Talk
14:00 - 15:20 Yuri Gurevich Abstract State Machines: An Overview of the Project Session: Knowledge Representation and AI (2)
15:40 - 16:50 Carlos A. Hurtado, Claudio Gutiérrez Equivalence of OLAP Dimension Schemas Session: Queries (1)
17:10 - 17:50 Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos Towards a Generalized Interaction Scheme for Information Access
Session: Queries (2)
09:00 - 10:10 Ingo Schmitt, Nadine Schulz Similarity Relational Calculus and its Reduction to a Similarity Algebra 10:10 - 10:50 Nematollaah Shiri, Zhi Hong Zheng Challenges in Fixpoint Computation with Multisets 11:10 - 12:20 Fusun Yaman, Sibel Adali, Dana Nau, Maria Luisa Sapino, V.S. Subrahmanian Plan Databases: Model and Algebra Lunch Break
Session: Queries (3)
14:00 - 15:10 Parke Godfrey Skyline Cardinality for for Relational Processing 15:20 - 16:30 Janos Demetrovics, Gyula O.H. Katona, Dezso Miklos On the Security of Individual Data 16:50 - 18:00 Gosta Grahne, Alex Thomo Query Answering and Containment for Regular Path Queries under Distortions
Session: Database Updates (1)
09:00 - 10:10 Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe Database Repair by Signed Formulae Invited Talk
10:30 - 11:50 Georg Gottlob Hypergraph Transversals: Complexity and Applications Lunch Break
Excursion
Session: Database Updates (2)
09:00 - 10:10 Stephen J. Hegner The Relative Complexity of Updates for a Class of Database Views 10:10 - 10:50 Mauricio Osorio, Fernando Zacarias On Updates of Logic Programs: A Properties-Based Approach Session: Dependency Theory (1)
11:10 - 12:20 Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe Weak Functional Dependencies in Higher-Order Datamodels Lunch Break
Session: Dependency Theory (2)
14:00 - 15:10 Henning Christiansen, Davide Martinenghi Simplification of Integrity Constraints for Data Integration 15:20 - 16:30 Attila Sali Minimal Keys in Higher-Order Datamodels 16:50 - 18:00 Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists