| Friday Sept.3 |
| 10:00-10:10 | Opening |
|
(Break)
|
| 10:30-12:30 | INAP'99 Joint Workshop I*MEDIATE'99
Workshop on Practical Information Mediation,
Brokering, and Commerce on the Internet
|
| 10:30-12:30 |
-
Baoqiu Cui, Ernie Johnson, L. Robert Pokorny and Abhik Roychoudhury,
"Constructing Composite Electronic Catalogs from Legacy Data Sources: An Experience Using XSB"
-
Yuri Sakamoto, Oskar Bartenstein
"WeaveWeb - 5 Tools For Document Management"
-
Stephane Bressan and Ismail Khalil Ibrahim
"Semantic Query Transformation for the Integration of Autonomous Information Sources"
-
Claus Gwiggner, Oskar Bartenstein
"The Household Physics Assistant" (Poster)
|
|
(Lunch)
|
|
14:00-15:00 | Invited Talk
O. Taniguchi (Osaka Sangyo University, Japan),
"'Computing from Environmental Design Mind"
|
|
(Break)
|
|
15:30-17:30 | Domain Languages & Industrial Problem Solving
-
Takushi Tanaka, Oskar Bartenstein,
"DCSG-converters written in Yacc/Lex and Prolog"
-
Osamu Yoshie et al.
"VSL-Virtual Space Description Language and Its Application to
Human-Robot Interface"
-
Tan Zhenxiang, A.R.Green and Jean Cross
"Application of Prolog to Mine Ventilation Simulation"
-
U. John, U. Geske
"Solving Reconfiguration Tasks with ConBaCon"
|
|
19:00-21:00 Reception Party
|
|
Saturday Sept.4
|
| 9:30-10:30 | Invited Talk
H. Christiansen (Roskilde University, Denmark),
"Integrity Constraints & Constraint Logic Programming"
|
|
(Break)
|
|
11:00-18:00 | INAP'99 Joint Workshop DDLP'99 - OSC'99
Workshop Deductive Databases and Logic Programming
Workshop CLP for Optimization and Simulation of Complex
Industrial Systems
|
|
11:00-12:30 | 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
|
|
(Lunch)
|
|
14:00-16:00 | 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
|
|
(Break)
|
|
16:30-17:30 | 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
|
|
|
19:00-21:00 Banquet
|