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

Knowledge means power – but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methodsto gather,transport,andapplyknowledgearecollectivelycalledkno- edge management. Declarative programming strives for the ideal of pro...

Full description

Bibliographic Details
Other Authors: Umeda, Masanobu (Editor), Wolf, Armin (Editor), Bartenstein, Oskar (Editor), Geske, Ulrich (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Edition:1st ed. 2006
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Frontier Technologies
  • Prolog Cafe: A Prolog to Java Translator System
  • TURTLE++ – A CIP-Library for C++
  • Constraint Solving for Sequences in Software Validation and Verification
  • Using a Logic Programming Language with Persistence and Contexts
  • On a Rough Sets Based Data Mining Tool in Prolog: An Overview
  • Not-First and Not-Last Detection for Cumulative Scheduling in
  • Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming
  • Overload Checking for the Cumulative Constraint and Its Application
  • Inductive Logic Programming: Yet Another Application of Logic
  • Industrial Case Studies
  • Railway Scheduling with Declarative Constraint Programming
  • User Profiles and Matchmaking on Mobile Phones
  • A Design Product Model for Mechanism Parts by Injection Molding
  • A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method
  • Business Integration
  • An Overview of Agents in Knowledge Management
  • ubiCMS – A Prolog Based Content Management System
  • Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications
  • A Meta-logical Approach for Multi-agent Communication of Semantic Web Information