`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: Broeck:Guy_Van_den

### Contributed to:

### 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).