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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Umeda, Masanobu (Editor ), Wolf, Armin (Editor ), Bartenstein, Oskar (Editor ), Geske, Ulrich (Editor ), Seipel, Dietmar (Editor ), Takata, Osamu (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4369
Temas:
Compilers (Computer programs).
Artificial intelligence.
Computer programming.
Compilers and Interpreters.
Artificial Intelligence.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares