< Back to previous page
Researcher
Angelika Kimmig
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Jan 2007 → 30 Sep 2018
Projects
1 - 5 of 5
- Data compression for probabilistic logicsFrom17 Feb 2021 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Learning probabilistic logic programsFrom8 Oct 2020 → 30 Sep 2022Funding: BOF - projects
- Probabilistic Logic and Functional Programming SynergiesFrom1 Jan 2017 → 31 Dec 2020Funding: FWO research project (including WEAVE projects)
- Probabilistic Data CleaningFrom1 Jan 2013 → 31 Dec 2016Funding: FWO research project (including WEAVE projects)
- An algebraic ProbLog and its applications.From1 Oct 2011 → 30 Sep 2017Funding: FWO fellowships
Publications
1 - 10 of 64
- smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation(2023)
Authors: Pietro Totis, Luc De Raedt, Angelika Kimmig
Pages: 1198 - 1247 - DeepProbCEP: A neuro-symbolic approach for complex event processing in adversarial settings(2023)
Authors: Angelika Kimmig
- Declarative Modelling and Reasoning for Combinatorial Problem Solving and Argumentation under Uncertainty(2023)
Authors: Pietro Totis, Luc De Raedt, Angelika Kimmig, Jesse Davis
- Lifted Reasoning for Combinatorial Counting(2023)
Authors: Pietro Totis, Jesse Davis, Luc De Raedt, Angelika Kimmig
Pages: 1 - 58 - Efficient Knowledge Compilation Beyond Weighted Model Counting(2022)
Authors: Pietro Totis, Angelika Kimmig
Pages: 505 - 522 - Handling epistemic and aleatory uncertainties in probabilistic circuits(2022)
Authors: Angelika Kimmig
Pages: 1259 - 1301 - Neuro-Symbolic AI = Neural + Logical + Probabilistic AI(2022)
Authors: Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt
Pages: 173 - 191 - Neural probabilistic logic programming in DeepProbLog(2021)
Authors: Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Luc De Raedt
- Learning CNF theories using MDL and predicate invention(2021)
Authors: Angelika Kimmig, Luc De Raedt
Pages: 2599 - 2605 - Mapping probability word problems to executable representations(2021)
Authors: Pietro Totis, Angelika Kimmig, Jesse Davis, Luc De Raedt
Pages: 3627 - 3640Number of pages: 14