Logic Programming and Nonmonotonic Reasoning邏輯編程與非單調推理 在線電子書 圖書標籤:
發表於2024-11-25
Logic Programming and Nonmonotonic Reasoning邏輯編程與非單調推理 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004.The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.
評分
評分
評分
評分
Logic Programming and Nonmonotonic Reasoning邏輯編程與非單調推理 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024