1 citations · 1 across the 1 of their papers we have counts for
3 papers · 1 filter
On the Approximability of Weighted Model Integration on DNF Structures
Ralph Abboud, İsmail İlkan Ceylan, Radoslav Dimitrov
Weighted model counting (WMC) consists of computing the weighted sum of all satisfying assignments of a propositional formula. WMC is well-known to be #P-hard for exact solving, bu…
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting
Ralph Abboud, Ismail Ilkan Ceylan, Thomas Lukasiewicz
Weighted model counting (WMC) has emerged as a prevalent approach for probabilistic inference. In its most general form, WMC is #P-hard. Weighted DNF counting (weighted #DNF) is a…
Dynamic Bayesian Ontology Languages
İsmail İlkan Ceylan, Rafael Peñaloza
Many formalisms combining ontology languages with uncertainty, usually in the form of probabilities, have been studied over the years. Most of these formalisms, however, assume tha…