Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes in Computer Science)
暫譯: 邏輯程式設計與非單調推理：第三屆國際會議 LPNMR '95，肯塔基州列克星敦，美國，1995年6月26日至28日。會議論文集（計算機科學講義）
A. Nerode, M. Truszczynski
- 出版商: Springer
- 出版日期: 1995-06-07
- 售價: $2,430
- 貴賓價: 9.5 折 $2,309
- 語言: 英文
- 頁數: 436
- 裝訂: Paperback
- ISBN: 3540594876
- ISBN-13: 9783540594871
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.
商品描述(中文翻譯)
本卷包含於1995年6月在美國肯塔基州列克星敦舉行的第三屆國際邏輯程式設計與非單調推理會議（LPNMR '95）上接受的修訂審稿論文，該會議由邏輯程式設計協會贊助。LPNMR 會議匯聚了來自邏輯程式設計及人工智慧邏輯基礎的研究者，以促進合作與思想的交叉融合。所呈現的28篇完整論文定義了這一跨學科研究領域的最新技術，該領域最近引起了廣泛的關注。
