Böcker av Daniela Inclezan

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

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"e; and "e;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination"e; are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Chapters "e;Statistical Statements in Probabilistic Logic Programming"e; and "e;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination"e; are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.