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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Umeda, Masanobu (Επιμελητής έκδοσης), Wolf, Armin (Επιμελητής έκδοσης), Bartenstein, Oskar (Επιμελητής έκδοσης), Geske, Ulrich (Επιμελητής έκδοσης), Seipel, Dietmar (Επιμελητής έκδοσης), Takata, Osamu (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4369
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Artificial intelligence.; Computer Science.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).; Programming Techniques.

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...

Πίνακας περιεχομένων:

• 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.