| 書目名稱 | Declarative Programming for Knowledge Management |
| 副標題 | 16th International C |
| 編輯 | Masanobu Umeda,Armin Wolf,Osamu Takata |
| 視頻video | http://file.papertrans.cn/265/264384/264384.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 01:43
發(fā)表于 2025-3-21 18:41:22
