Person:324655

Available identifiers

zbMath Open kimmig.angelikaMaRDI QIDQ324655

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Angelika Kimmig