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:
201520142012Wrote 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.