| 书目名称 | Processing Declarative Knowledge | | 副标题 | International Worksh | | 编辑 | Harold Boley,Michael M. Richter | | 视频video | | | 丛书名称 | 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 | | 关键词 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 18:06:18
