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
11 - 20 of 50
- New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent Perspective(2016)
Authors: Pieter Van Hertum, Marc Denecker, Gerda Janssens
- Knowledge representation analysis of graph mining(2016)
Authors: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens
Pages: 55 - 76 - Implementing a relevance tracker module(2016)
Authors: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pages: 77 - 91 - Bootstrapping inference in the IDP Knowledge Base System(2016)
Authors: Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker
Pages: 193 - 220 - Relevance for SAT(ID)(2016)
Authors: Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
Pages: 596 - 603 - The KB paradigm and its application to interactive configuration(2016)
Authors: Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
Pages: 13 - 29 - Combining DMN and the knowledge base paradigm for flexible decision enactment(2016)
Authors: Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker
- Translating ASP to a typed language without Herbrand functions(2015)
Authors: Joachim Jansen, Gerda Janssens
Pages: 1 - 14 - Semantics of templates in a compositional framework for building logics(2015)
Authors: Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
Pages: 681 - 695 - Compacting Boolean formulae for inference in probabilistic logic programming(2015)
Authors: Theofrastos Mantadelis, Dimitar Shterionov, Gerda Janssens, Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
Pages: 425 - 438