Angelika Kimmig

Available identifiers

Publication	Date of Publication	Type
Declarative probabilistic logic programming in discrete-continuous domains	2025-01-17	Paper
Lifted Reasoning for Combinatorial Counting	2023-01-09	Paper
Efficient Knowledge Compilation Beyond Weighted Model Counting	2022-09-30	Paper
Handling epistemic and aleatory uncertainties in probabilistic circuits	2022-08-10	Paper
Neural probabilistic logic programming in DeepProbLog	2021-11-02	Paper
Algebraic model counting	2017-09-29	Paper
\(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs	2016-10-17	Paper
Probabilistic (logic) programming concepts	2015-12-02	Paper
Lifted graphical models: a survey	2015-06-05	Paper
Finding relational redescriptions	2014-12-05	Paper
The magic of logical inference in probabilistic programming	2011-08-16	Paper
On the implementation of the probabilistic logic programming language ProbLog	2011-06-15	Paper
ProbLog Technology for Inference in a Probabilistic First Order Logic	2011-05-11	Paper
Probabilistic Inductive Querying Using ProbLog	2010-12-22	Paper
Preprocessing Boolean Formulae for BDDs in a Probabilistic Context	2010-10-01	Paper
Compressing probabilistic Prolog programs	2009-03-31	Paper
On the Efficient Execution of ProbLog Programs	2009-01-22	Paper
Revising Probabilistic Prolog Programs	2007-11-15	Paper

This page was built for person: Angelika Kimmig