Declarative Programming for Knowledge Management 16th International
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. Declara
- PDF / 4,292,027 Bytes
- 238 Pages / 430 x 659.996 pts Page_size
- 71 Downloads / 181 Views
Subseries of Lecture Notes in Computer Science
4369
Masanobu Umeda Armin Wolf Oskar Bartenstein Ulrich Geske Dietmar Seipel Osamu Takata (Eds.)
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
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors Masanobu Umeda Kyushu Institute of Technology 680-4 Kawazu, Iizuka, Fukuoka 820-8502, Japan E-mail: [email protected] Armin Wolf Ulrich Geske Fraunhofer FIRST Kekuléstraße 7, 12489 Berlin, Germany E-mail: {armin.wolf,ulrich.geske}@first.fraunhofer.de Oskar Bartenstein IF Computer Japan 5-28-2 Sendagi, Bunkyo-ku, Tokyo 113-0022, Japan E-mail: [email protected] Dietmar Seipel Universität Würzburg Am Hubland, 97074 Würzburg, Germany E-mail: [email protected] Osamu Takata Kyushu Institute of Technology 680-4 Kawazu, Iizuka, Fukuoka 820-8502, Japan E-mail: [email protected] Library of Congress Control Number: 2006938800 CR Subject Classification (1998): I.2.4, I.2, D.1.6 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13
0302-9743 3-540-69233-9 Springer Berlin Heidelberg New York 978-3-540-69233-1 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2006 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11963578 06/3142 543210
Preface
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 methods to gather, transport, and apply knowledge are collectively called knowledge management. Declarative programming strives for the ideal of programming by wish: the user states what he or she wants, and the computer figures 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 fulfil these wishes. Knowledge management is now recognized as an economic key factor. Declarative programming has matured far beyond the research stage of a merely interesting formal logic model to one of the powerfu
Data Loading...
