书目名称 | Logic Programming and Nonmonotonic Reasoning |
副标题 | Third International |
编辑 | V. Wiktor Marek,Anil Nerode,M. Truszczyński |
视频video | |
丛书名称 | Lecture Notes in 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. |
出版日期 | Conference proceedings 1995 |
关键词 | Nichtklassische Logiken; Nichtmonotones Schließen; Programm-Semantik; artificial intelligence; logic; log |
版次 | 1 |
doi | https://doi.org/10.1007/3-540-59487-6 |
isbn_softcover | 978-3-540-59487-1 |
isbn_ebook | 978-3-540-49282-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1995 |