Joint Workshop

DDLP'99 - OSC'99

supported by CompulogNet

The 12th International Conference on Applications of Prolog (INAP'99)

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 /