Logic Programming and Nonmonotonic Reasoning
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
-
- 39٫99 US$
-
- 39٫99 US$
وصف الناشر
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.
Logic Programming and Nonmonotonic Reasoning
٢٠١٥
Rules and Reasoning
٢٠١٧
Applications of Declarative Programming and Knowledge Management
٢٠١٣
Logic-Based Program Synthesis and Transformation
٢٠٢٠
Logic for Programming, Artificial Intelligence, and Reasoning
٢٠١٥
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
٢٠١١