< 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
41 - 50 of 64
- Towards finding relational redescriptions(2012)
Authors: Esther Galbrun, Angelika Kimmig, Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit
Pages: 52 - 66 - Probabilistic soft logic for trust analysis in social networks(2012)
Authors: Angelika Kimmig
Pages: 1 - 8 - Link and node prediction in metabolic networks with probabilistic logic(2012)
Authors: Angelika Kimmig, Fabrizio Costa, Michael R Berthold
Pages: 407 - 426 - Patterns and logic for reasoning with networks(2012)
Authors: Angelika Kimmig, Luc De Raedt
Pages: 122 - 143 - The magic of logical inference in probabilistic programming(2011)
Authors: Bernd Gutmann, Ingo Thon, Angelika Kimmig, Maurice Bruynooghe, Luc De Raedt
Pages: 663 - 680 - An algebraic Prolog for reasoning about possible worlds(2011)
Authors: Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Pages: 209 - 214 - On the implementation of the probabilistic logic programming language ProbLog(2011)
Authors: Angelika Kimmig, Bart Demoen, Luc De Raedt
Pages: 235 - 262 - Preprocessing Boolean formulae for BDDs in a probabilistic context(2010)
Authors: Theofrastos Mantadelis, Angelika Kimmig, Gerda Janssens
Pages: 260 - 272 - Link and node prediction in metabolic networks with probabilistic logic(2010)
Authors: Angelika Kimmig, Fabrizio Costa
Pages: 1 - 10 - ProbLog technology for inference in a probabilistic first order logic(2010)
Authors: Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
Pages: 719 - 724