Declarative Programming and Knowledge Management: Conference on Declarative Programming, Declare 2019, Unifying Inap, Wlp, and Wflp, Cottbus, Germany,
暫譯: 宣告式程式設計與知識管理：宣告式程式設計會議，Declare 2019，統一 Inap、Wlp 與 Wflp，德國科特布斯
Hofstedt, Petra, Abreu, Salvador, John, Ulrich
- 出版商: Springer
- 出版日期: 2020-04-23
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 309
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030467139
- ISBN-13: 9783030467135
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.
The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.
商品描述(中文翻譯)
本書包含了第22屆國際宣告式程式設計與知識管理應用會議（INAP 2019）、第33屆邏輯程式設計研討會（WLP 2019）以及第27屆函數式與（約束）邏輯程式設計研討會（WFLP 2019）所修訂的選定論文。
本卷中呈現的15篇完整論文和1篇短文是從24篇投稿中仔細審核和選出的。這些貢獻展示了在宣告式語言和編譯技術領域的當前研究活動，特別是針對基於約束的邏輯和函數式語言及其擴展，並討論了在約束求解、知識表示和推理技術方面的新方法和關鍵發現。
