Angelika Kimmig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Declarative probabilistic logic programming in discrete-continuous domains Artificial Intelligence	2025-01-17	Paper
Lifted Reasoning for Combinatorial Counting Journal of Artificial Intelligence Research	2023-01-09	Paper
Efficient Knowledge Compilation Beyond Weighted Model Counting Theory and Practice of Logic Programming	2022-09-30	Paper
Handling epistemic and aleatory uncertainties in probabilistic circuits Machine Learning	2022-08-10	Paper
Neural probabilistic logic programming in DeepProbLog Artificial Intelligence	2021-11-02	Paper
Neural probabilistic logic programming in DeepProbLog Artificial Intelligence	2021-11-02	Paper
Algebraic model counting Journal of Applied Logic	2017-09-29	Paper
Algebraic model counting Journal of Applied Logic	2017-09-29	Paper
\(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs International Journal of Approximate Reasoning	2016-10-17	Paper
Probabilistic (logic) programming concepts Machine Learning	2015-12-02	Paper
Lifted graphical models: a survey Machine Learning	2015-06-05	Paper
Lifted graphical models: a survey Machine Learning	2015-06-05	Paper
Finding relational redescriptions Machine Learning	2014-12-05	Paper
The magic of logical inference in probabilistic programming Theory and Practice of Logic Programming	2011-08-16	Paper
On the implementation of the probabilistic logic programming language ProbLog Theory and Practice of Logic Programming	2011-06-15	Paper
ProbLog Technology for Inference in a Probabilistic First Order Logic	2011-05-11	Paper
Probabilistic inductive querying using \texttt{ProbLog} Inductive Databases and Constraint-Based Data Mining	2010-12-22	Paper
Preprocessing Boolean formulae for BDDs in a probabilistic context Logics in Artificial Intelligence	2010-10-01	Paper
Compressing probabilistic Prolog programs Machine Learning	2009-03-31	Paper
On the Efficient Execution of ProbLog Programs Logic Programming	2009-01-22	Paper
Revising Probabilistic Prolog Programs Inductive Logic Programming	2007-11-15	Paper

Research outcomes over time

This page was built for person: Angelika Kimmig