INAP2007>
Past Events>
INAP2005>
Program
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 |