16. INAP 2005: Fukuoka, Japan

Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata (Eds.): Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4369 Springer 2006, ISBN 3-540-69233-9 BibTeX

Frontier Technologies

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System. 1-11
Electronic Edition (link) BibTeX
Petra Hofstedt, Olaf Krzikalla:
TURTLE++ - A CIP-Library for C++. 12-24
Electronic Edition (link) BibTeX
Nikolai Kosmatov:
Constraint Solving for Sequences in Software Validation and Verification. 25-37
Electronic Edition (link) BibTeX
Salvador Abreu, Vítor Nogueira:
Using a Logic Programming Language with Persistence and Contexts. 38-47
Electronic Edition (link) BibTeX
Hiroshi Sakai:
On a Rough Sets Based Data Mining Tool in Prolog: An Overview. 48-65
Electronic Edition (link) BibTeX
Andreas Schutt, Armin Wolf, Gunnar Schrader:
Not-First and Not-Last Detection for Cumulative Scheduling in O(n³logn). 66-80
Electronic Edition (link) BibTeX
Naoyuki Tamura:
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. 81-87
Electronic Edition (link) BibTeX
Armin Wolf, Gunnar Schrader:
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. 88-101
Electronic Edition (link) BibTeX
Akihiro Yamamoto:
Inductive Logic Programming: Yet Another Application of Logic. 102-116
Electronic Edition (link) BibTeX

Ulrich Geske:
Railway Scheduling with Declarative Constraint Programming. 117-134
Electronic Edition (link) BibTeX
Thomas Kleemann, Alex Sinner:
User Profiles and Matchmaking on Mobile Phones. 135-147
Electronic Edition (link) BibTeX
Tatsuichiro Nagai, Isao Nagasawa, Masanobu Umeda, Tatsuji Higuchi, Yasuyuki Nishidai, Yusuke Kitagawa, Tsuyoshi Tsurusaki, Masahito Ohhashi, Osamu Takata:
A Design Product Model for Mechanism Parts by Injection Molding. 148-160
Electronic Edition (link) BibTeX
Osamu Takata, Yuji Mure, Yasuo Nakashima, Masuharu Ogawa, Masanobu Umeda, Isao Nagasawa:
A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method. 161-174
Electronic Edition (link) BibTeX

Virginia Dignum:
An Overview of Agents in Knowledge Management. 175-189
Electronic Edition (link) BibTeX
Oskar Bartenstein:
ubiCMS - A Prolog Based Content Management System. 190-199
Electronic Edition (link) BibTeX
Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata:
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. 200-214
Electronic Edition (link) BibTeX
Visit Hirankitti, Vuong Xuan Tran:
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information. 215-228
Electronic Edition (link) BibTeX