< Back to previous page
Researcher
Gerda Janssens
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Oct 1999 → 4 Aug 2020
Projects
1 - 10 of 17
- IMPULS-AI-2021From1 Jan 2021 → 31 Dec 2023Funding: Department General Affairs and Finance
- AI in Industry: Learning and Reasoning for AutomationFrom1 Jan 2021 → TodayFunding: IOF - mandates
- Theory, algorithms and tools for generic solutions to knowledge-intensive business problems from formal specificationsFrom1 Oct 2019 → 30 Sep 2023Funding: BOF - projects
- Standard, Interactive and Lifted Model Expansions Using FO(.)From6 Dec 2018 → 12 Feb 2024Funding: Own budget, for example: patrimony, inscription fees, gifts
- Decision Analytics: complex decision processesFrom1 Oct 2017 → 30 Sep 2019Funding: IWT / VLAIO - TETRA fund
- Knowledge-Based Software Engineering: IDP4From1 Oct 2016 → 30 Sep 2018Funding: IOF - Industrial Research Fund
- Satisfiability and model generation in infinite spaceFrom17 Feb 2016 → 1 Jun 2017Funding: Own budget, for example: patrimony, inscription fees, gifts
- Satisfiability and model generation in infinite spaceFrom1 Jan 2016 → 31 Dec 2019Funding: FWO research project (including WEAVE projects)
- A higher level of abstraction for logical specification languagesFrom2 Sep 2014 → 9 Sep 2020Funding: FWO Strategic Basic Research Grant
- From business rule systems to logic.From2 Sep 2014 → 3 May 2021Funding: IWT personal funding - strategic basic research grants
Publications
41 - 50 of 50
- Nesting probabilistic inference(2011)
Authors: Theofrastos Mantadelis, Gerda Janssens
Pages: 1 - 16 - Preprocessing Boolean formulae for BDDs in a probabilistic context(2010)
Authors: Theofrastos Mantadelis, Angelika Kimmig, Gerda Janssens
Pages: 260 - 272 - 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 - DNF sampling for ProbLog inference(2010)
Authors: Dimitar Shterionov, Angelika Kimmig, Theofrastos Mantadelis, Gerda Janssens
Pages: 15 - Dedicated tabling for a probabilistic setting(2010)
Authors: Theofrastos Mantadelis, Gerda Janssens
Pages: 124 - 133 - Experience with widening based equivalence checking in realistic multimedia systems(2010)
Authors: Sven Verdoolaege, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
Pages: 279 - 292 - More precise region-based memory management for Mercury programs(2009)
Authors: Quan Phan, Gerda Janssens
Pages: 1 - 15 - Equivalence checking of static affine programs using widening to handle recurrences(2009)
Authors: Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Pages: 599 - 613 - Path-sensitive region analysis for Mercury programs(2009)
Authors: Quan Phan, Gerda Janssens
Pages: 161 - 169 - Runtime support for region-based memory management in Mercury(2008)
Authors: Quan Phan, Gerda Janssens
Pages: 61 - 70