Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16. INAP 2005: Fukuoka, Japan
- 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
- Mutsunori Banbara
, Naoyuki Tamura, Katsumi Inoue:
Prolog Cafe : A Prolog to Java Translator System. 1-11 - Petra Hofstedt, Olaf Krzikalla:
TURTLE++ - A CIP-Library for C++. 12-24 - Nikolai Kosmatov:
Constraint Solving for Sequences in Software Validation and Verification. 25-37 - Salvador Abreu, Vítor Nogueira:
Using a Logic Programming Language with Persistence and Contexts. 38-47 - Hiroshi Sakai:
On a Rough Sets Based Data Mining Tool in Prolog: An Overview. 48-65 - Andreas Schutt, Armin Wolf, Gunnar Schrader:
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). 66-80 - Naoyuki Tamura:
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. 81-87 - Armin Wolf, Gunnar Schrader:
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. 88-101 - Akihiro Yamamoto:
Inductive Logic Programming: Yet Another Application of Logic. 102-116
Industrial Case Studies
- Ulrich Geske:
Railway Scheduling with Declarative Constraint Programming. 117-134 - Thomas Kleemann, Alex Sinner:
User Profiles and Matchmaking on Mobile Phones. 135-147 - 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 - 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
- Virginia Dignum:
An Overview of Agents in Knowledge Management. 175-189 - Oskar Bartenstein:
ubiCMS - A Prolog Based Content Management System. 190-199 - Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata:
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications. 200-214 - Visit Hirankitti, Vuong Xuan Tran:
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information. 215-228
a service of 
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.
last updated on 2024-06-10 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
