| 书目名称 | Logic Programming and Nonmonotonic Reasoning |
| 副标题 | Fourth International |
| 编辑 | Jürgen Dix,Ulrich Furbach,Anil Nerode |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR ‘97, held in Dagstuhl Castle, Germany, in July 1997..The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. |
| 出版日期 | Conference proceedings 1997 |
| 关键词 | Artificial intelligence; Automated Deduction; Constraint Progamming; Logic Programming; Nonclassical Log |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-63255-7 |
| isbn_softcover | 978-3-540-63255-9 |
| isbn_ebook | 978-3-540-69249-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
发表于 2025-3-21 17:02:00
