Follow
Dominik Wagner
Dominik Wagner
PhD student in Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
N Yoshida, C Mak, C Ong, H Paquet, D Wagner
Programming Languages and Systems30th European Symposium on Programming …, 2021
232021
HoCHC: A refutationally complete and semantically invariant system of higher-order logic modulo theories
CHL Ong, D Wagner
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
142019
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
TC Burn, L Ong, S Ramsay, D Wagner
arXiv preprint arXiv:2104.14175, 2021
32021
Initial limit Datalog: a new extensible class of decidable constrained Horn clauses
T Cathcart Burn, CH Ong, S Ramsay, D Wagner
Institute of Electrical and Electronics Engineers, 2021
2021
Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere
C Mak, CHL Ong, H Paquet, D Wagner
arXiv preprint arXiv:2004.03924, 2020
2020
Resolution for Higher-Order Constrained Horn Clauses
D Wagner
University of Oxford, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–6