Logic Programming and Nonmonotonic Reasoning: 17th International Conference, Lpnmr 2024, Dallas, Tx, Usa, October 11-14, 2024, Proceedings
Dodaro, Carmine, Gupta, Gopal, Martinez, Maria Vanina
- 出版商: Springer
- 出版日期: 2024-10-12
- 售價: $5,530
- 貴賓價: 9.5 折 $5,254
- 語言: 英文
- 頁數: 408
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031742087
- ISBN-13: 9783031742088
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.
The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems.
商品描述(中文翻譯)
本書是第17屆國際邏輯程式設計與非單調推理會議(LPNMR 2024)的經過審稿的會議論文集,會議於2024年10月11日至14日在美國德州達拉斯舉行。
本書收錄的27篇完整論文和3篇短文是從48篇投稿中精心審核和選出的。這些論文涉及宣告式邏輯程式設計、非單調推理和知識表示,重點在於基於邏輯的程式語言和資料庫系統的設計與實作。