Joint Workshop
DDLP'99 - OSC'99
supported by CompulogNet
Tokyo, Japan, September 3 - 5, 1999
Preliminary Schedule
September 4
Session 1: Invited Talk
Henning Christiansen, Roskilde University, Denmark:
Integrity Constraints & Constraint Logic Programming<
Session 2: Special Concepts in Deductive Databases
Peter Revesz:
Datalog Programs with Difference Constraints
Kewen Wang, Fangzhen Lin:
Closed World Reasoning and Query Evaluation
in Disjunctive Deductive Databases
Dietmar Seipel:
Aggregation in Disjunctive Deductive Databases
Session 3: Extensions and Applications of CLP
Neng-Fa Zhou and Sosuke Kaneko:
An Optimization Method for Compiling Finite-Domain Constraints
Luis Paulo Reis and Eugenio Oliveira:
Constraint Logic Programming using Set Variables for Solving
Timetabling Problems
Armin Wolf:
A Rule-based Approach to Dynamic Constraint Satisfaction Problems
Markus Hannebauer and Ulrich Geske:
Coordinating Distributed CLP-Solvers in Medical Appointment Scheduling
Session 4: Deductive Databases and LP Systems
Mengchi Liu:
Implementation of the ROL System
Wolfgang Faber, Nicola Leone, Cristinel Mateis, Gerald Pfeifer:
Using Database Optimization Techniques for Nonmonotonic Reasoning
September 5
Session 5: Invited Talk
Slim Abdenadher, Univ. Munich, Germany:
Solving Combinatorial Optimization Problems
Last updated on August 10, 1999.
Ulrich Geske /
GMD-FIRST /
geske@first.gmd.de