Stable Model Counting and Its Application in Probabilistic Logic Programming

20 November 2014

Papers citing "Stable Model Counting and Its Application in Probabilistic Logic Programming"

4 / 4 papers shown

Title
Techniques for Measuring the Inferential Strength of Forgetting Policies Patrick Doherty A. Szałas 120 1 0 21 Feb 2025
Generation and Prediction of Difficult Model Counting Instances Guillaume Escamocher Barry O'Sullivan LRM 16 2 0 06 Dec 2022
SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation Pietro Totis Angelika Kimmig Luc de Raedt 70 10 0 05 Oct 2021
Towards Efficient Discrete Integration via Adaptive Quantile Queries Fan Ding Hanjing Wang Ashish Sabharwal Yexiang Xue 56 4 0 13 Oct 2019