Not registered as user yet
Name:Angelika Kimmig
Affiliation:KU Leuven
Personal website:https://people.cs.kuleuven.be/~angelika.kimmig/
Contributions
PPS 2017 | Probabilistic logic programs: unifying program trace and possible world semantics | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile