11th International Conference on Applications of Prolog
Tokyo, 14-16, Sept 1998
INAP'98 Program
update: 98-08-19
Timetable
Sept.14(Mon)
Opening 9:00- 9:10
Session: KLIC 9:15-12:30 (185 minutes plus 10 minutes break)
(Lunch)
Session: I'MEDIAT 13:30-17:00
Session: Legal Expert Systems 17:00-18:30
Reception Party 19:00-21:00
Sep.15(Tue)
Session: Industrial Information Systems
9:00-11:40 (150 minutes plus 10 minutes break)
(Lunch)
Session: Optimization and Simulation of Complex Industrial
Systems, Extensions and Applications of Constraint-
Logic Programming
13:00-14:15 (75 minutes)
Session: CAD 14:45-16:00 (75 minutes)
Invited Talk:
Logical agents: lessons from medicine
John Fox 16:30-17:30
Banquet 19:00-21:00
Sep.16(Wed)
Session: Advanced Techniques 9:00-10:40 (100 minutes)
Session: Case Studies 11:00-11:50 (50 minutes)
(Lunch)
Session: Constraint Programming 13:00-14:15 (75 minutes)
Session: Internet Technologies 14:30-15:45 (75 minutes)
Session: Medical Applications 16:00-17:15 (75 minutes)
Closing 17:15-17:30
Exhibition, Posters 9:00-18:30(Sep.14-16)
Conference Structure
* Contacts & Venue
* Invited Talk
o John Fox
* Sessions & Workshops
o KLIC: Overview and Applications
o Information Mediation and Brokering
o Industrial Information Systems
o Optimization and Simulation of Complex Industrial Systems
o CAD
o Advanced Techniques
o Case Studies
o Constraint Programming
o Medical Applications
o Internet Technologies
o Legal Systems
* Exhibition
Contacts & Venue
Venue:
Tokyo Science University, Shinjuku, Tokyo
Local Chair:
Prof Osamu Yoshie, Tokyo Science University
yoshie@ap.kagu.sut.ac.jp
Program Chair:
Prof Shu-ichi Fukuda, Tokyo Metropolitan Inst. of Technology
fukuda@tmit.ac.jp
Web sites:
http://www.ap.kagu.sut.ac.jp/PAJ/inap98/
http://www.ifcomputer.com/inap
http://context.mit.edu/imediat98
http://www.first.gmd.de/~geske/osc98.html
Conference Office:
ren.associates@ma3.justnet.ne.jp
Invited Talks
Invited Talk:
Logical agents: lessons from medicine
Dr. John Fox, Imperial Cancer Research Fund
Sessions & Workshops
Organized Session:
KLIC: Overview and Applications
Organizer:
Takashi Chikayama, Tokyo University
chikayama@logos.t.u-tokyo.ac.jp
Akira Aiba, AITEC
aiba@icot.or.jp
[Tutorial]
Introduction to KLIC: System Outline
T. Chikayama, Tokyo University, Japan
[Fast Track Paper]
KLIC Implementation: Distributed Memory Implementation of KLIC
Kazuaki Rokusawa, Oki Electric Industry Co., Ltd.
Akihiko Nakase, R & D Center, Toshiba Corporation
Takashi Chikayama, Dept. of Electronic Eng., the University of Tokyo
[Fast Track Paper]
KLIC Implementation: Optimizing KLIC with Static Analysis
Hiroshi Nakashima, Kazuhiko Ohno, Toyohashi University of Technology
[Fast Track Paper]
KLIC Implemenation: Optimizing KLIC Generic Objects By Static Analysis
Kazunori Ueda and Ryoji Tsuchiyama, Waseda University, Japan
[Fast Track Paper]
KLIC Application: A Parallel Theorem-Proving System Based on Model Generation
Ryuzo Hasegawa, Hiroshi Fujita and Miyuki Koshimura, Kyushu University
[Fast Track Paper]
KLIC Application: A Pattern-Oriented Visual Parallel Programming Environment
Etsuya Shibayama, Masashi Toyoda, Buntarou Shizuki, Shin Takahashi
Tokyo Institute of Technology
Organized Session:
Legal Systems
Organizer:
Hajime Yoshino, Meiji Gakuin University
yoshino@mh.meijigakuin.ac.jp
[Fast Track Paper]
"Legal Expert" Project and Logical Structure of Legal Knowledge Base
Hajime Yoshino, Meiji Gakuin University
[Fast Track Paper]
A CSIG Oriented Fuzzy Inference/Retrieval System
Kaoru Hirota, Tokyo Institute of Technology
[Fast Track Paper]
A Legal Negotiation Support System
Katsumi Nitta, Tokyo Institute of Technology
Workshop:
I'MEDIAT'98 - Information Mediation
First International Workshop on
Practical Information Mediation and Brokering,
and the Commerce of Information on the Internet.
Web Site:
http://context.mit.edu/imediat98/
Organizer:
Stephane Bressan, National University of Singapore
steph@nus.edu.sg
[Paper]
Communications and Control
John R. Swartz, Marketing & Communications
http://www2.gol.com/users/jrswartz/index.html/CC1.htm
[Paper]
The Foreign Language Acquisition System of Project Orbis:
An Example of Educational, Customizable Language Exposure
in a Shared Virtual Environment
Christopher Boudreau, Minoru Okada Nagoya University Project ORBIS
http://www.okada.ecip.nagoya-u.ac.jp/~chris/IMEDIAT98/
[Paper]
Browsing Local Community "What's New" in Spatial Context
Takaaki Yamada Hiroshi Tsuji,
Systems Development Laboratory, Hitachi, Ltd.
[Paper]
Desperately Seeking: Helping Hands and Human Touch
Bjorn Hermans, Cap Gemini
http://www.hermans.org/agents2/
[Paper]
MeBro - A Framework for Metadata-Based Information Brokerage
Thomas Langer, Fraunhofer-ISST
http://www.isst.fhg.de/~tlanger/imediat98/imediat.html
[Paper]
Unavailable Data Sources in Mediator Based Applications
Philippe Bonnet G.I.E Dyade (Bull/INRIA), Anthony Tomasic (INRIA)
[Paper]
Performance Evaluation of Network Presentation System based on Point-to-Multipoint Protocol
Joutarou Akiyama Tsutomu Kawai Minoru Okada Nagoya University
[Paper]
An application of Multi-agent technology to electronic commerce - SAGE:Francis -
Tamami Sugasaka Ryusuke Masuoka Akira Sato
Hironobu Kitajima Fumihiro Maruyama
Fujitsu Laboratories Ltd.
[Paper]
SmartFlow Internet Payment System by Smart Card
Hung Chak Kuen Patrick
The Hong Kong University of Science and Technology, Cyberspace Center
http://www.cs.ust.hk/~cshck/imediat98_smartflow.ps
[Paper]
UnBund
Raphael Yahalom MIT Sloan School of Management
Organized Session:
Application to Industrial Information Systems
Organizer:
Osamu Yoshie
yoshie@ap.kagu.sut.ac.jp
[Full Paper]
Vcom- Virtual Community Project for Plant Engineers
Shingo Gotoh, Science University of Tokyo
[Full Paper]
Multi-modal System for Object Indication in 3D Virtual Space
Sei Tanaka, Science University of Tokyo
[Full Paper]
View Retrieving System for Industrial Database by Query Analysis
Ryuichi Hoshi, Science University of Tokyo
[Fast Track Paper]
Declarative Modelling and efficient Simulation
of Material Requirements Planning Problems
A. Fordan and U. Geske
[Fast Track Paper]
Constraint-Based Timetabling for Universities
H.-J. Goltz, G.Kuechler, D.Matzke
[Fast Track Paper]
Model and Implementation for Constraint-Based Configuration
U. John
Organized Session:
Optimization and Simulation of Complex Industrial Systems
Extensions and Applications of Constraint-Logic Programming
Web Site:
http://www.first.gmd.de/~geske/osc98.html
Organizer:
Ulrich Geske, GMD-FIRST
geske@first.gmd.de
Submission Deadline: July 24, 1998
[Fast Track Paper]
Reducing Waste in the Carpet Industry
Andrew Verden, IF Computer GmbH
[Fast Track Paper]
Constraint Logic Programming Approach of Network
Flow Problems for Decision Support in Transportation Planning
Cristina Fierbinteanu, Toshio Okamoto, Naotugu Nozue
University of Electro-Communications
[Fast Track Paper]
Declarative Java: Constraint Language and System
for Building Applets Declaratively
Neng-Fa Zhou, Sosuke Kaneko, Kouji Yamauchi, Kyushu Inst of Technology
Session:
CAD
[Fast Track Paper]
DECADE: Declarative Computer-Aided Design Environment
Peter Hammond, Paul Wells and John C Davenport,University of London
[Fast Track Paper]
Machine Translation from Electronic Circuits to English
Takushi Tanaka, Fukuoka Institute of Technology
http://www.fit.ac.jp/~tanaka
[Full Paper]
CAD based Multi Agent Machine Assembly/Disassembly Planning
Hiroshi Masaki, Satoshi Imamura, Mechanical Engineering Laboratory
Session:
Advanced Techniques
[Full Paper]
Pathwalker: Message-based process-oriented programming library for Java
Satoru Ushijima, Takao Mohri, Tadashige Iwao, Yuji Takada
[Fast Track Paper]
APS, a Prolog-Based Anytime Planning System
Helmut Prendinger, Mitsuru Ishizuka, University of Tokyo,
[Full Paper]
Modelling Agent Interaction in Logic Programming
Luis Moniz Pereira, Paulo Quaresma, Universidade Nova de Lisboa
[Fast Track Paper]
Acquiring heuristic values in search trees by a relational learner
Nobuhiro Inuzuka, Tomofumi Nakano, Hidenori Itoh, Nagoya Institute of Technology
Session:
Case Studies
[Full Paper]
Interpreting Satellite Images with Prolog
Joaquim N. Aparicio, Joao P. Santos, Universidade Nova de Lisboa
http://www-ssdi.di.fct.unl.pt/~jna
[Fast Track Paper]
A Prototype of an Intelligent DSS for Policy Making
Shinichiro Mado, Utsunomiya University
Workshop:
Constraint Programming
Organizer:
F. Katai, ILOG Japan
katai@ilog.co.jp
[Fast Track Paper]
Building Mission Critical Systems Based On Constraint Programming
Hon Wai Chun, City University of Hong Kong
Steve Ho Chuen Chan and Dennis Wai Ming Yeung, Advanced Object Technologies Limited
[Fast Track Paper]
Applications of Constraint Programming as Extension of Constraint Logic Programming, and ultimately of Logic Programming (Prolog).
Hon Wai Chun, City University, Hong Kong
Vincent Gosselin, ILOG Japan
[Fast Track Paper]
From Prolog to C: Constraint Programming
Ferenc Katai, Vincent Gosselin, Jean-Francios Puget, ILOG Co Ltd
Session:
Internet Technologies
[Fast Track Paper]
Status Report and Infrastructure:
The Practical Standard Prolog Courseware Initiative
Oskar Bartenstein
[Full Paper]
Implementation of a System for Declarative Mobile Code and Web Querying
Seng Wai Loke, Andrew Davison
[Full Paper]
An Agent Communication Protocol for the Feature Interaction Problem
Stephen Rochefort, Veronica Dahl, Paul Tarau
Organized Session:
Medical Applications
Organizer:
Michio Kimura, Hamamatsu University School of Medicine
kimura@mi.hama-med.ac.jp
[Full Paper]
Prolog programming for educational training of medical students
Baatar Shirchin, Harvard Medical School, Brigham and women's
hospital
[Full Paper]
Extraction of Useful Rules from Clinical Databases using Prolog
Shusaku Tsumoto, Tokyo Medical and Dental University
[Fast Track Paper]
Medical Information System, its Role and Future Research
Yumiko Furukawa*, Masanobu Umeda**, Michio Ueno***, Isao Nagasawa**
Fukuoka Junior College of Technology*, Kyushu Institute of Technology**, National Kyusyu Medical Center Fukuoka***
Exhibition
[Exhibition]
Constraint-based Timetabling, Scheduling and Configuration
GMD-FIRST
[Exhibition]
Demonstration of KLIC
AITEC
[Exhibition]
MINERVA - Platform for Web Hosted Expert Services
IF Computer
[Exhibition]
Airport Resource Allocation Systems (Gate/Checkin Counter/...)
Manufacturing - Molding Shop Scheduling
Real Time scheduling - Satellite Mission Planning
Crew Scheduling for service industry
ILOG Co Ltd
[Exhibition]
Applications in clinical research and routine disease management.
InferMed http://www.infermed.com
[Exhibition]
PrologIA Informational Materials
PrologIA
[Exhibition]
Declarative Java: Constraint Language for Building Applets Declaratively
B-Prolog
Kyushu Institute of Technology
[Exhibition]
Legal Expert Systems
Meiji Gakuin University
Notes & Disclaimers
* The program is based on current submissions but does not reflect the
review status of full papers.
* The organizers reserve the right to change the program.
