| 書目名稱 | Processing Declarative Knowledge |
| 副標(biāo)題 | International Worksh |
| 編輯 | Harold Boley,Michael M. Richter |
| 視頻video | http://file.papertrans.cn/760/759055/759055.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This volume presents the proceedings of an internationalworkshop on theprocessing of declarative knowledge. Theworkshop was organized and hostedby the German ResearchCenter for Artificial Intelligence (DFKI) in cooperationwith the Association for Logic Programming (ALP) andtheGesellschaft f}r Informatik (GI).Knowledge is often representedusing definite clauses,rules, constraints, functions, conceptual graphs, andrelated formalisms. The workshop addressed such high-levelrepresentations and their efficient implementation requiredfor declarative knowledge bases. Many of the paperstreatrepresentation methods, mainly concept languages, and manytreatimplementation methods, such as transformationtechniques and WAM-likeabstract machines. Several papersdescribe implemented knowledge-processing systems. Thecompetition between procedural and declarative paradigms wasdiscussed in a panel session, and position statements ofthepanelists are included in the volume. |
| 出版日期 | Conference proceedings 1991 |
| 關(guān)鍵詞 | Concept Languages; Declarative Knowledge; Deklaratives Wissen; Knowledge Representation; Logic Programmi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/BFb0013516 |
| isbn_softcover | 978-3-540-55033-4 |
| isbn_ebook | 978-3-540-46667-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1991 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-12 03:13
發(fā)表于 2025-3-21 18:06:18
