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