Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning

14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

    • 39,99 US$
    • 39,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2017
27 tháng 6
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
372
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
10,3
Mb
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
2015
Rules and Reasoning Rules and Reasoning
2017
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
2013
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2020
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
2015
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
2011