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

  • Masanobu Umeda
  • Armin Wolf
  • Oskar Bartenstein
  • Ulrich Geske
  • Dietmar Seipel
  • Osamu Takata
Conference proceedings INAP 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4369)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4369)

Table of contents

  1. Front Matter
  2. Frontier Technologies

  3. Industrial Case Studies

    1. Thomas Kleemann, Alex Sinner
      Pages 135-147
    2. Tatsuichiro Nagai, Isao Nagasawa, Masanobu Umeda, Tatsuji Higuchi, Yasuyuki Nishidai, Yusuke Kitagawa et al.
      Pages 148-160
    3. Osamu Takata, Yuji Mure, Yasuo Nakashima, Masuharu Ogawa, Masanobu Umeda, Isao Nagasawa
      Pages 161-174
  4. Business Integration

    1. Virginia Dignum
      Pages 175-189
    2. Oskar Bartenstein
      Pages 190-199
    3. Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata
      Pages 200-214
  5. Back Matter

About these proceedings

Introduction

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 programming by wish: the user states what he or she wants, and the computer ?gures out how to achieve it. Thus, declarative programming splits into two separate parts: methods for humans on how to write wishes, and algorithms for computers that ful?l these wishes. Knowledgemanagementisnowrecognizedasaneconomickeyfactor.Decl- ative programming has matured far beyond the research stage of a merely - teresting formal logic model to one of the powerful tools in computer science. Nowadays,no professionalactivity isthinkable without knowledgemanagement, and companies increasingly need to document their business processes. Here, declarative programming carries the promise to be a shortcut to not only do- menting but also implementing knowledge-based enterprises. This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005,held in October 2005 at Waseda University, Fukuoka, Japan. These papers re?ect a snapshot of ongoing research and current app- cations in knowledge management and declarative programming. Further, they provide reality checks and many pointers for readers who consider introducing related technologies into their products or working environments. Skimming through the table of contents, technology managers as well as - plementorswillbesurprisedonthewidescopecoveredbythisselectionofpapers. If you think of knowledge streams as supply, manufacturing, or distribution chains, you will see that it all ?ts together.

Keywords

AI logics C++ programming language SAT solvers Scheduling automated reasoning data mining decision making description logics knowledge management knowledge-based system logic logic programming programming language semantic web verification

Editors and affiliations

  • Masanobu Umeda
    • 1
  • Armin Wolf
    • 2
  • Oskar Bartenstein
    • 3
  • Ulrich Geske
    • 4
  • Dietmar Seipel
    • 5
  • Osamu Takata
    • 6
  1. 1.Graduate School of Computer Science and Systems EngineeringKyushu Institute of TechnologyIizukaJapan
  2. 2.Fraunhofer FIRSTBerlinGermany
  3. 3.IF Computer JapanTokyoJapan
  4. 4.Fraunhofer FIRSTBerlin 
  5. 5.Universität Würzburg, Am HublandWürzburgGermany
  6. 6.Graduate School of Computer Science and Systems Engineering,Kyushu Institute of TechnologyIizukaJapan

Bibliographic information

  • DOI https://doi.org/10.1007/11963578
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69233-1
  • Online ISBN 978-3-540-69234-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book