1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2020
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…
cs.AI2015★ 1 cited
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…