4 citations · 6 across the 3 of their papers we have counts for
3 papers · 1 filter
BoxE: A Box Embedding Model for Knowledge Base Completion
Ralph Abboud, İsmail İlkan Ceylan, Thomas Lukasiewicz +1
Knowledge base completion (KBC) aims to automatically infer missing facts by exploiting information already present in a knowledge base (KB). A promising approach for KBC is to emb…
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…