| 书目名称 | Declarative Programming for Knowledge Management | | 副标题 | 16th International C | | 编辑 | Masanobu Umeda,Armin Wolf,Osamu Takata | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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 | | 出版日期 | Conference proceedings 2006 | | 关键词 | AI logics; C++ programming language; SAT solvers; Scheduling; automated reasoning; data mining; decision m | | 版次 | 1 | | doi | https://doi.org/10.1007/11963578 | | isbn_softcover | 978-3-540-69233-1 | | isbn_ebook | 978-3-540-69234-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2006 |
The information of publication is updating
|
|
发表于 2025-3-21 18:41:22
