Travelled to:1 × Italy
Collaborated with:L.D.Raedt B.Gutmann I.Thon M.Bruynooghe V.S.Costa R.Rocha B.Demoen
Talks about:program (2) probabilist (1) execut (1) effici (1) magic (1) logic (1) infer (1) prob (1) log (1)
Person: Angelika Kimmig
DBLP: Kimmig:Angelika
Contributed to:
20112008Wrote 2 papers:
- ICLP-J-2011-GutmannTKBR #logic #probability #programming
- The magic of logical inference in probabilistic programming (BG, IT, AK, MB, LDR), pp. 663–680.
- ICLP-2008-KimmigCRDR #execution #on the #performance #source code
- On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.