BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
Collaborated with:
A.Darwiche B.Bogaerts W.Meert P.Beame E.Gribkoff D.Suciu D.Kisa A.Choi
Talks about:
weight (2) order (2) model (2) first (2) count (2) probabilist (1) sententi (1) knowledg (1) fixpoint (1) approxim (1)

Person: Guy Van den Broeck

DBLP DBLP: Broeck:Guy_Van_den

Contributed to:

ICLP 20152015
PODS 20152015
KR 20142014

Wrote 4 papers:

ICLP-J-2015-BogaertsB #approximate #compilation #fixpoint #logic programming #source code #using
Knowledge compilation of logic programs using approximation fixpoint theory (BB, GVdB), pp. 464–480.
PODS-2015-BeameBGS #first-order #symmetry
Symmetric Weighted First-Order Model Counting (PB, GVdB, EG, DS), pp. 313–328.
KR-2014-BroeckMD #first-order
Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
KR-2014-KisaBCD #diagrams #probability
Probabilistic Sentential Decision Diagrams (DK, GVdB, AC, AD).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.