research
∙
08/30/2023
Understanding ProbLog as Probabilistic Argumentation
ProbLog is a popular probabilistic logic programming language/tool, wide...
share
research
∙
04/03/2023
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Argumentation problems are concerned with determining the acceptability ...
research
∙
05/16/2022
Efficient Knowledge Compilation Beyond Weighted Model Counting
Quantitative extensions of logic programming often require the solution ...
research
∙
10/05/2021