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

scroll to top