Beschreibung
This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022. The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications. Statistical Statements in Probabilistic Logic Programming and Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapters Statistical Statements in Probabilistic Logic Programming and Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
