International Conference on Applications of Prolog > The 9th Symposium and Exhibition on Industrial Applications of Prolog (INAP'96) > Schedule

Schedule

International Conference on
Applications of Prolog

Tuesday, October 15

18:00-20:00 Registration (Hotel)
WELCOME DRINK

Wednesday, October 16

9:00 Registration (Conference Site)

Session: Decision Support

9:55-10:25 Tutorial: Philippe Codognet, INRIA - Rocquencourt, France,
* Finite Domain Constraint Solving in Constraint Logic Programming
10:25-10:50 Paper: Nelson Donovon, David Gilbert, City University, United Kingdom,
* Economic Modelling using Constraint Logic Programming
10:50-11:15 Paper: Cristina Baboescu, The University of Electro-Communications, (Railway Technical Research Institute), Japan,
* Constraint Logic Implementation of a Decision Support System for Transportation Planning
COFFEE
11:30-12:15 Tutorial: Niall Murtagh Mitsubishi Electric, Japan
* Constraint-Based Reasoning Applied to Engineering Design

Session: Internet Technologies

12:15-13:00 Tutorial: Andrew Davison Prince of Songkla University, Thailand
* LogicWeb: Enhancing the Web with Logic Programming
LUNCH
14:00-14:30 Tutorial: Francis G. McCabe Fujitsu Laboratories Ltd., Japan
* April - An Agent Programming Language for the Internet
14:30-14:55 Paper: Stephane Bressan MIT, USA Philippe Bonnet Bull, France
* The ECLiPSe HTTP-Library
COFFEE

Session: Tools & Implementations

15:25-15:50 Paper: 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 Paper: Takanori Imaki, Yoshihiro Adachi, Kensei Tsuchida, Takeo Yaku Toyo University, Japan
* Tree Drawing by Constraints Logic Programming
16:15-16:40 Paper: Naoyuki Tamura, Yukio Kaneda Kobe University, Japan
* A WAM Model for a Linear Logic Programming Language
COFFEE

Keynote Speech

16:55-17:55 Keynote Speech: Paul Tarau University of Moncton, Canada
* Logic Programming and Virtual Worlds
RECEPTION PARTY

Thurday, October 17

Session: Practical Applications I

9:55-10:25 Paper: Maria Kambi, David Gilbert City University, United Kingdom
* Timetabling in Constraint Logic Programming
10:25-10:50 Paper: Helen Lowe Napier University, Scotland Michal Pechoucek, & Alan Bundy University of Edinburgh, Scotland
* Proof Planning & Configuration
10:50-11:15 Paper: Masayoshi Takada Mitsubishi Chemical, Japan
* Production Scheduling System introducing CSP of operator's skill
COFFEE
11:30-12:15 Tutorial: Hiroki "Hammer" Ohama NTT Data Corporation, Japan
* Application of SRI Open Agent Architecture to Information Retrieval
12:15-13:00 Tutorial: Joe Armstrong Ericsson, Sweden
* Erlang - a survey of the language and its industrial applications
LUNCH

Poster Session: Practical Applications II

14:00-15:25
Poster: Robin Drogemuller James Cook University, Australia Oskar Bartenstein IF Computer, Japan
* Distributed Support for Integrated Building Design and Construction

Poster: Norbert Fuchs, Rolf Schwitter University of Zurich, Switzerland
* ACE/Controlled English for executable specifications

Poster: Leo Obrst, Krishna Nanda Jha, Gary Coen Boeing Helicopters, USA
* Mass Change of On-line Textual Databases using Natural Language Processing

Poster: Harold Trannois, Jean-Luc Deleage, Thierry Capitaine, Andre Lebrun CURASI, LITP-IBP
* How to Distribute Prolog Knowledge for Car Traffic Simulation

Poster: Takushi Tanaka Fukuoka Institute of Technology, Japan
* Logic Grammar for Electronic Circuits

Poster: Frederic Benhamou Universite d'Orleans
* Presentation of Prolog IV

Exhibition: Logic Programming Associates

Exhibition: The Practical Application Company

Exhibition: IF Computer Japan

Exhibition: Prolog Association of Japan
COFFEE

Session: Data-Mining & Learning

15:25-15:50 Paper: Tomonobu Ozaki, Koichi Furukawa Keio University, Japan
* Prolog Implementation of PROGOL based on Bottom-up Computation
15:50-16:15 Paper: 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 Paper: 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
COFFEE

Invited Talk

16:55-17:55 Invited Talk: Karl Reed La Trobe University, Australia
* Towards an Engineering Discipline ...The Nature of Software Engineering, Problems, Futures and Directions
DINNER

Friday, October 18

Session: Advanced Methods & Beyond Prolog

9:55-10:25 Paper: Ryuichi Hoshi, Osamu Yoshie Science University of Tokyo, Japan
* View update by Query Analysis
10:25-10:50 Paper: Kohji Itoh Science University of Tokyo
* A system to support learning Prolog with templates and examples
10:50-11:15 Paper: Yoshihiro Adachi, Takanori Imaki, Suguru Kobayashi Toyo University, Japan
* Prolog Visualization Based on Attribute Graph Grammer
COFFEE
11:30-12:15 Tutorial: 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 Tutorial: Fergus Henderson The University of Melbourne, Australia
* Mercury - a declarative programming language for industrial-strength applications
LUNCH - CLOSING

document: http://www.ifcomputer.com/inap/inap96/Schedule/print_en.html
published 2006/2/20 update 1996/12/20 (c) 1996-2006 IF Computer Japan

INAP	http://www.ifcomputer.co.jp/inap
Mailing List	http://www.ifcomputer.co.jp/mailman/listinfo/inap

Back>