`Travelled to:`

1 × Hungary

`Collaborated with:`

G.V.d.Broeck M.Bruynooghe B.d.Cat M.Denecker J.Jansen J.Vennekens H.Blockeel S.D.Pooter A.Labarre J.Ramon S.Verwer

`Talks about:`

theori (2) use (2) knowledg (1) fixpoint (1) calculus (1) approxim (1) program (1) problem (1) system (1) machin (1)

## Person: Bart Bogaerts

### DBLP: Bogaerts:Bart

### Contributed to:

### Wrote 3 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.
- ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using
- Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
- ICLP-2012-BlockeelBBCP #data mining #machine learning #mining #modelling #problem
- Modeling Machine Learning and Data Mining Problems with FO(·) (HB, BB, MB, BdC, SDP, MD, AL, JR, SV), pp. 14–25.