Logic Programming and Nonmonotonic Reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Autor*in
Georg Gottlob
Themen in »Logic Programming and Nonmonotonic Reasoning«
answer set answer set programming artificial intelligence boolean functions computer programming computer systems formal languages formal logic knowledge representation knowledge-based system logic programming logic programs ontologies programming language software design