ResearchTrend.AI
Stable Model Counting and Its Application in Probabilistic Logic Programming

Stable Model Counting and Its Application in Probabilistic Logic Programming

R. Aziz
Geoffrey Chu
Christian Muise
Peter Stuckey
ArXiv (abs)PDFHTML

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