Program and Timetable

with I*MEDIATE'99, DDLP'99,OSC'99

September 3-5, 1999, Tokyo Science University, Japan

Friday, September 3
10:30-12:30 INAP'99 Joint Workshop I*MEDIATE'99
Workshop on Practical Information Mediation, Brokering, and Commerce on the Internet
  • 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)
14:00-15:00 Invited Talk
O. Taniguchi (Osaka Sangyo University, Japan),
"'Computing from Environmental Design Mind"
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, September 4
9:30-10:30 Invited Talk
H. Christiansen (Roskilde University, Denmark),
"Integrity Constraints & Constraint Logic Programming"
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
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
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

Sunday, September 5
10:00-11:00 Invited Talk
Slim Abdennadher (Univ. Munich, Germany),
"Solving Combinatorial Optimization Problems"
11:30-12:30 Parallel Systems
  • Steven D. Prestwich,
    "Judging a Parallel Prolog Program by its Speedup"
  • Shinichiro Mado,
    "Massively Parallel AI simulation of a economic system in Prolog"
14:00-15:00 Invited Talk
F. Soesianto,
"Application of Information Mediation and Brokering in Indonesia"
15:30-16:30 Panel Discussion
16:30-16:40 Closing

Posters, Exhibition, and Demonstrations (September 3-5)
  • Poster:
    Robin Drogemuller (CSIRO):
    Parsing Codes & Standards: Application in the Australian Building Industry
  • Poster & Demonstration:
    Ryoko Hattori (Nagoya University):
    A simulation program developed for Government and Binding Theory,
    especially with regard to NP movement until it attains S-structure.
  • Poster & Demonstration:
    Claus Gwiggner (IF Computer):
    The Household Physics Assistant
  • Exhibition:
    Logic Programming Associates,
  • Exhibition:
    The Practical Application Company
    Brochures PA-Expo 2000
  • Exhibition:
    Society for Applied Intelligence
  • Exhibition:
    IF Computer
    Brochures, IF/Prolog, MINERVA, WeaveWeb
  • Exhibition:
    Prolog Association of Japan
    Brochures, Publications
  • Exhibition:
    Brochures, Publications, Demonstrations
The organizer reserves the right to change the program.