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...
Other Authors: | , , , |
---|---|
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