10月15日(火)
18:00-20:00 受け付け(ホテル)
歓迎ドリンク
10月16日(水)
9:00 受け付け (会場)
セッション: Decision Support
9:55-10:25 チュートリアル: Philippe Codognet, INRIA - Rocquencourt, France,
* Finite Domain Constraint Solving in Constraint Logic Programming
10:25-10:50 論文発表: Nelson Donovon, David Gilbert, City University, United
Kingdom,
* Economic Modelling using Constraint Logic Programming
10:50-11:15 論文発表: Cristina Baboescu, The University of
Electro-Communications, (Railway Technical Research Institute), Japan,
* Constraint Logic Implementation of a Decision Support System for
Transportation Planning
休憩
11:30-12:15 チュートリアル: Niall Murtagh Mitsubishi Electric, Japan
* Constraint-Based Reasoning Applied to Engineering Design
セッション: Internet Technologies
12:15-13:00 チュートリアル: Andrew Davison Prince of Songkla University, Thailand
* LogicWeb: Enhancing the Web with Logic Programming
昼食
14:00-14:30 チュートリアル: Francis G. McCabe Fujitsu Laboratories Ltd., Japan
* April - An Agent Programming Language for the Internet
14:30-14:55 論文発表: Stephane Bressan MIT, USA Philippe Bonnet Bull, France
* The ECLiPSe HTTP-Library
休憩
セッション: Tools & Implementations
15:25-15:50 論文発表: Archana Shankar, David Gilbert and Michael Jampel City
University, United Kingdom
* Transient Analysis and Synthesis of Linear Circuits using Constraint Logic
Programming
15:50-16:15 論文発表: 今木孝哲 安達由洋 土田賢省 夜久竹夫 東洋大学
* 制約論理プログラミングによる木の描画ツール
16:15-16:40 論文発表: Naoyuki Tamura, Yukio Kaneda Kobe University, Japan
* A WAM Model for a Linear Logic Programming Language
休憩
基調講演
16:55-17:55 基調講演: Paul Tarau University of Moncton, Canada
* Logic Programming and Virtual Worlds
歓迎パーティー
10月17日(木)
セッション: Practical Applications I
9:55-10:25 論文発表: Maria Kambi, David Gilbert City University, United Kingdom
* Timetabling in Constraint Logic Programming
10:25-10:50 論文発表: Helen Lowe Napier University, Scotland Michal Pechoucek,
& Alan Bundy University of Edinburgh, Scotland
* Proof Planning & Configuration
10:50-11:15 論文発表: 高田 真好 三菱化学株式会社
* 作業者スキル制約処理を導入したスケジューリングシステム
休憩
11:30-12:15 チュートリアル: Hiroki "Hammer" Ohama NTT Data Corporation, Japan
* Application of SRI Open Agent Architecture to Information Retrieval
12:15-13:00 チュートリアル: Joe Armstrong Ericsson, Sweden
* Erlang - a survey of the language and its industrial applications
昼食
ポスターセッション: Practical Applications II
14:00-15:25
ポスター: Robin Drogemuller James Cook University, Australia Oskar Bartenstein
IF Computer, Japan
* Distributed Support for Integrated Building Design and Construction
ポスター: Norbert Fuchs, Rolf Schwitter University of Zurich, Switzerland
* ACE/Controlled English for executable specifications
ポスター: Leo Obrst, Krishna Nanda Jha, Gary Coen Boeing Helicopters, USA
* Mass Change of On-line Textual Databases using Natural Language Processing
ポスター: Harold Trannois, Jean-Luc Deleage, Thierry Capitaine, Andre Lebrun
CURASI, LITP-IBP
* How to Distribute Prolog Knowledge for Car Traffic Simulation
ポスター: Takushi Tanaka Fukuoka Institute of Technology, Japan
* Logic Grammar for Electronic Circuits
ポスター: Frederic Benhamou Universite d'Orleans
* Presentation of Prolog IV
展示発表: Logic Programming Associates
展示発表: The Practical Application Company
展示発表: イフコンピュータジャパン株式会社
展示発表: 日本Prolog協会
休憩
セッション: Data-Mining & Learning
15:25-15:50 論文発表: 尾崎 知伸, 古川 康一 慶応大学
* PROGOLのボトムアップ計算に基づくPrologによる実装
15:50-16:15 論文発表: Gabriella Kokai University of Erlangen-Nurnberg, Germany
Zoltan Alexin Jozsef Attila University, Hungary Tibor Gymothy Hungarian
Academy of Sciences
* Learning Biomedical Patterns
16:15-16:40 論文発表: Virginia Dignum, Origin BV Jan van der Vorst NedCar BV.
Frank Dignum, Eindhoven University of Technology, Netherlands
* Datamining in a vehicle configuration system using Prolog
休憩
招待講演
16:55-17:55 招待講演: Karl Reed La Trobe University, Australia
* Towards an Engineering Discipline ...The Nature of Software Engineering,
Problems, Futures and Directions
夕食
10月18日(金)
セッション: Advanced Methods & Beyond Prolog
9:55-10:25 論文発表: Ryuichi Hoshi, Osamu Yoshie Science University of Tokyo,
Japan
* View update by Query Analysis
10:25-10:50 論文発表: 伊藤 紘二 東京理科大学
* Prolog プログラミングの学習をひながたと事例データに基づいて支援するシステム
10:50-11:15 論文発表: 安達 由洋、今木 孝哲、小林 卓 東洋大学
* 属性グラフ文法に基づくPrologの可視化
休憩
11:30-12:15 チュートリアル: Gerd Venzl et al Siemens AG Corporate R&D, Germany
* Boosting the quality and maintainability of Prolog applications by new
static analysis techniques.
12:15-13:00 チュートリアル: Fergus Henderson The University of Melbourne,
Australia
* Mercury - a declarative programming language for industrial-strength
applications
昼食 - 閉会
| 