Thursday Oct 19 1995
---------------------
Opening (Shuichi Fukuda) 9:40-9:50
Shuichi Fukuda,
Tokyo Metropolitan Institute of Technology, Japan
Invited Talk 9:50-10:50
Chair: Shuichi Fukuda
Al Roth, Prolog Management Group, UK
The International Prolog Market
Coffee Break
Technical Session 11:00-12:30
Design Calculation Chair: Yoshihiro Adachi
Qualitative Computational Geometry for Spatial Reasoning
Tamotsu Murakami, Naomasa Nakajima,
The University of Tokyo, Japan
Prolog-oriented Support of Engineering Calculations
Otakar Babka, Johan P. Du Plessis,
the University of the Orange Free State,
Republic of South Africa
Prolog in feedability analysis of castings
Katalin Prasser, University of Technology Dresden, Germany
Lunch Break
Technical Session 13:30-15:00
Design Specification Chair: Takushi Tanaka
High-Level VLSI Design Specification Validation
Using Algorithm Debugging
Jiro Naganuma, NTT LSI Laboratories, Japan
Using Prolog to implement a CASE shell for
Object-Oriented Development
Esteban Zimanyi, Universite Libre de Bruxelles, Belgium
Manuel Kolp, Universite Catholique de Louvain, Belgium
Logical Design Knowledge Capturing by Monitoring The Design Process
Ken-ichi Shima, NTT Software Laboratories, Japan
Coffee Break
Technical Session 15:20-16:50
Logic Programming Chair: Jiro Tanaka
A Tabulation Method for Constraint Logic Programs
Philippe Codognet, INRIA, France
Towards a logic programming based on linear logic
Mutsunori Banbara, Eiji Sugiyama, Kyoung Sun Kang, Naoyuki Tamura,
Kobe University, Japan
Logical Programming and Error Recovery
Thierry Despeyroux, INRIA, France
Coffee Break
Keynote Address 17:10-18:10
Chair: Mihoko Okada
David Pearce, Compulog Net, Germany
Compulog Net: The Network of Excellence in Computational Logic
Break
Reception Party 18:30-20:30
Friday Oct 20 1995
------------------
Invited Talk 9:30-10:30
Chair: Takao Terano
Byoung-Youn Choi, Korea Power Corporation, Korea
KEPCO Power Distribution Expert System
Coffee Break
Technical Session 10:40-11:40
Expert Systems Chair: Naoyuki Tamura
Prototyping A Jazz Piano Knowledge Base System With
Deductive Object-Oriented Approach
Keiji Hirata, NTT Basic Research Laboratories, Japan
NEFELI: An intelligent control system for renewable energy sources
Katzouraki, M. Gergatsoulis, P.Kostarakis,
Institute of Informatics and Telecommunications, Greece
M. Samarakou, M. Grigoriadou, University of Athens, Greece
Coffee Break
Keynote Address 11:50-12:50
Chair: Masatomo Inui
Robin Drogemuller, James Cook University, Australia
Using Prolog to Implement the ISO STEP Standards
Lunch Break
Technical Session 13:50-15:20
Documentation Chair: Takao Ozaki
A Lightweight Localizeable Document Generation System
Bill Gogesch, Sun Microsystems, U.S.A
Pascal-Hichart Translator Specified in Attribute Graph Grammar
and Its Implementation in Prolog
Yuichi Oi, Yoshihiro Adachi, Takeo Yaku, Toyo University, Japan
Logic Programming with the World-Wide Web
Seng Wai Loke, Andrew Davison, the University of Melbourne,
Australia
Coffee Break
Panel Discussion 15:40-17:40
Moderator: Oskar Bartenstein
Design - The Intellectual Challenge: Can Prolog Assist?
Ryuto Fujie, Paris Miki, Japan, Fashion Design
Keiji Hirata, NTT Basic Research Laboratories, Japan, Music Design
Kazuyoshi Honda, Tokyo Gas, Japan, Architecture Design
Jiro Naganuma, NTT LSI Laboratories, Japan, VLSI Design
Masanobu Umeda, Kyushu Institute of Technology, Japan
Mechanical Design
Closing 17:40-17:45
Toshiaki Yagihashi,
REN Associates, Japan
Happy Hour
