|
|
Program
| Date |
Time |
Track |
Presenter |
Title |
| |
|
|
|
|
| 22-Oct |
10:00-- |
Registration |
|
|
| |
|
|
|
|
| |
10:45-10:55 |
Opening |
|
|
| 22-Oct |
11:00-12:00 |
Invited Tutorial |
Naoyuki Tamura |
Calc/Cream: OpenOffice spreadsheet front-end for constraint programming |
| |
|
Lunch |
|
|
| |
13:00-13:30 |
Applications |
Tran Xuan Vuong |
A Meta-logical Approach for Multi-agent Communication of the Semantic Web Information |
| |
13:30-14:00 |
Applications |
Oskar Bartenstein |
ubiCMS - a Prolog based Content Management System
|
| |
14:00-14:30 |
Applications |
Salvador Abreu |
Using a Logic Programming Language with Persistence and Contexts |
| |
14:30-15:00 |
Applications |
Oskar Bartenstein |
wadokujt.w3dict.com - A WWW based reading assistant for Japanese-German
|
| |
|
Coffee break |
|
|
| |
15:30-16:00 |
Applications |
Mutsunori Banbara |
Prolog Cafe: A Prolog to Java Translator System |
| |
16:00-16:30 |
Applications |
Masanobu Umeda |
Multi-Threading Inside Prolog for Knowledge-Based Enterprise Applications |
| 22-Oct |
16:30-17:30 |
Invited Talk |
Riichiro Mizoguchi |
Ontology Engineering and its Application to Technical Knowledge Sharing |
| |
|
|
|
|
| |
18:00-- |
Reception |
|
|
| |
|
|
|
|
| |
|
|
|
|
| 23-Oct |
10:00-10:30 |
Applications |
Akira Komedani |
Modeling Learner in Collaborative Learning Based on Bayesian Network |
| |
10:30-11:00 |
Applications |
Keiichi Katamine |
A Discussion on a Modeling for Automated Design of Fire Alarm Systems from the viewpoint of Maintainability |
| |
11:00-11:30 |
Applications |
Jun Feng |
RR-tree: An Efficient Structure for Managing Road Networks |
| |
11:30-12:00 |
Applications |
Osamu Takata |
Knowledge-Based System for Process Planning in Cold Forging using Adjustment of Stepped Cylinder method |
| |
|
Lunch |
|
|
| 23-Oct |
13:00-14:00 |
Invited Talk |
Virginia Dignum |
Agent-Mediated Knowledge Management |
| |
|
Coffee break |
|
|
| |
14:15-14:45 |
Knowledge Management |
Hiroshi Sakai |
On a Rough Sets based Data Mining Tool in Prolog: An Overview |
| |
14:45-15:15 |
Knowledge Management |
Mosharaf Hossain |
Huffman compression with digrams selected by association rule of data mining |
| |
15:15-15:45 |
Knowledge Management |
Thomas Kleemann |
User Profiles and Matchmaking on Mobile Phones |
| |
15:45-16:15 |
Knowledge Management |
Tatsuichiro Nagai |
A Design Product Model for Mechanism Parts by Injection Molding |
| |
|
Coffee break |
|
|
| 23-Oct |
16:30-17:30 |
Invited Tutorial |
Akihiro Yamamoto |
Inductive Logic Programming --Yet Another Application of Logic-- |
| |
|
|
|
|
| |
18:00-- |
Banquet |
|
|
| |
|
|
|
|
| |
|
|
|
|
| 24-Oct |
10:00-11:00 |
Invited Talk |
Ulrich Geske |
Railway Scheduling with Declarative Constraint Programming |
| |
|
|
|
|
| |
11:00-11:30 |
Constraints |
Muneyuki Kawatani |
g-Hecs: a Constraint Solving System on the Grid |
| |
11:30-12:00 |
Constraints |
Petra Hofstedt |
Turtle++ - A CIP-Library for C++
|
| |
|
Lunch |
|
|
| |
13:00-13:30 |
Constraints |
Andreas Schutt |
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3 log n) |
| |
13:30-14:00 |
Constraints |
Armin Wolf |
O(n log n) Overload Checking for the Cumulative Constraint |
| |
14:00-14:10 |
Closing |
|
|
| |
|
|
|
|
| |
14:30-- |
|
Site tour (optional) |
|
The program is subject to change without notice.
Accepted Papers
| (main) Author |
Title |
| John R Fisher |
Diagram Theory and Its Logic |
| Hiroshi Sakai |
On a Rough Sets based Data Mining Tool in Prolog: An Overview |
| Keiichi KATAMINE |
A Discussion on a Modeling for Automated Design of Fire Alarm Systems from the viewpoint of Maintainability |
| Petra Hofstedt |
Turtle++ ? A CIP-Library for C++
|
| Vitor Nogueira |
Using a Logic Programming Language with Persistence and Contexts |
| Nikolai Kosmatov |
A Constraint Solver for Sequences and its Applications |
| Tran Xuan Vuong |
A Meta-logical Approach for Multi-agent Communication of the Semantic Web Information |
| Andreas Schutt |
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3 log n) |
| Osamu TAKATA |
Knowledge-Based System for Process Planning in Cold Forging using Adjustment of Stepped Cylinder method |
| Mosharaf Hossain |
Huffman compression with digrams selected by association rule of data mining |
| Thomas Kleemann |
User Profiles and Matchmaking on Mobile Phones |
| Mutsunori Banbara |
Prolog Cafe: A Prolog to Java Translator System |
| Kaiji Liao |
Knowledge Management Model Definition Language and Its Application |
| Armin Wolf |
O(n log n) Overload Checking for the Cumulative Constraint |
| Tatsuichiro Nagai |
A Design Product Model for Mechanism Parts by Injection Molding |
| Muneyuki Kawatani |
g-Hecs: a Constraint Solving System on the Grid |
|
Akira Komedani
|
Modeling Learner in
Collaborative Learning Based on Bayesian Network
|
|
Oskar Bartenstein
|
wadokujt.w3dict.com - A
WWW based reading assistant for Japanese-German
|
|
Jun Feng
|
RR-tree: An Efficient
Structure for Managing Road Networks
|
|
Oskar Bartenstein
|
ubiCMS - a Prolog based
Content Management System
|
|
Masanobu Umeda
|
Multi-Threading Inside Prolog for Knowledge-Based Enterprise Applications
|
Oskar Bartenstein
|
