| 书目名称 | Logic Programming and Nonmonotonic Reasoning |
| 副标题 | 10th International C |
| 编辑 | Esra Erdem,Fangzhen Lin,Torsten Schaub |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. The special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant AS |
| 出版日期 | Conference proceedings 2009 |
| 关键词 | AI logics; Prolog; SAT; ambient intelligence; artificial intelligence; complexity; constraint satisfaction |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-04238-6 |
| isbn_softcover | 978-3-642-04237-9 |
| isbn_ebook | 978-3-642-04238-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2009 |
发表于 2025-3-21 19:17:56
