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篇投稿中精心審核和選出的。這些論文涉及宣告式邏輯程式設計、非單調推理和知識表示,重點在於基於邏輯的程式語言和資料庫系統的設計與實作。

類似商品