default search action

combined dblp search
author search
venue search
publication search

ask others

16. INAP 2005: Fukuoka, Japan

> Home > Conferences and Workshops > INAP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/inap/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/2005
Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata:
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

Frontier Technologies

- view
  authority control:
- export record
  dblp key:
  - conf/inap/BanbaraTI05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/BanbaraTI05
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/inap/HofstedtK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/HofstedtK05
Petra Hofstedt, Olaf Krzikalla:
TURTLE++ - A CIP-Library for C++. 12-24
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Kosmatov05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Kosmatov05
Nikolai Kosmatov:
Constraint Solving for Sequences in Software Validation and Verification. 25-37
- view
  authority control:
- export record
  dblp key:
  - conf/inap/AbreuN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/AbreuN05
Salvador Abreu, Vítor Nogueira:
Using a Logic Programming Language with Persistence and Contexts. 38-47
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Sakai05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Sakai05
Hiroshi Sakai:
On a Rough Sets Based Data Mining Tool in Prolog: An Overview. 48-65
- view
  authority control:
- export record
  dblp key:
  - conf/inap/SchuttWS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/SchuttWS05
Andreas Schutt, Armin Wolf, Gunnar Schrader:
Not-First and Not-Last Detection for Cumulative Scheduling in O(n³logn). 66-80
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Tamura05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Tamura05
Naoyuki Tamura:
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. 81-87
- view
  authority control:
- export record
  dblp key:
  - conf/inap/WolfS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/WolfS05
Armin Wolf, Gunnar Schrader:
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. 88-101
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Yamamoto05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Yamamoto05
Akihiro Yamamoto:
Inductive Logic Programming: Yet Another Application of Logic. 102-116

Industrial Case Studies

- view
  authority control:
- export record
  dblp key:
  - conf/inap/Geske05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Geske05
Ulrich Geske:
Railway Scheduling with Declarative Constraint Programming. 117-134
- view
  authority control:
- export record
  dblp key:
  - conf/inap/KleemannS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/KleemannS05
Thomas Kleemann, Alex Sinner:
User Profiles and Matchmaking on Mobile Phones. 135-147
- view
  authority control:
- export record
  dblp key:
  - conf/inap/NagaiNUHNKTOT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/NagaiNUHNKTOT05
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
- view
  authority control:
- export record
  dblp key:
  - conf/inap/TakataMNOUN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/TakataMNOUN05
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

Business Integration

- view
  authority control:
- export record
  dblp key:
  - conf/inap/Dignum05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Dignum05
Virginia Dignum:
An Overview of Agents in Knowledge Management. 175-189
- view
  authority control:
- export record
  dblp key:
  - conf/inap/Bartenstein05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/Bartenstein05
Oskar Bartenstein:
ubiCMS - A Prolog Based Content Management System. 190-199
- view
  authority control:
- export record
  dblp key:
  - conf/inap/UmedaKNHT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/UmedaKNHT05
Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata:
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. 200-214
- view
  authority control:
- export record
  dblp key:
  - conf/inap/HirankittiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inap/HirankittiT05
Visit Hirankitti, Vuong Xuan Tran:
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information. 215-228

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.