Explanations as programs in probabilistic logic programming

DOI10.1007/978-3-030-99461-7_12MaRDI QIDQ2163172

Germán Vidal

Publication date: 10 August 2022

Full work available at URL: https://arxiv.org/abs/2210.03021

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68N17: Logic programming

Uses Software

• ProbLog
• PRISM
• xclingo