Logic Programming and Nonmonotonic Reasoning
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
-
- US$39.99
-
- US$39.99
출판사 설명
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.
The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks.
The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.
장르
컴퓨터 및 인터넷
출시일
2017년
6월 27일
언어
EN
영어
길이
372
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
10.3
MB
Logic Programming and Nonmonotonic Reasoning
2015년
Rules and Reasoning
2017년
Applications of Declarative Programming and Knowledge Management
2013년
Logic-Based Program Synthesis and Transformation
2020년
Logic for Programming, Artificial Intelligence, and Reasoning
2015년
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011년