< Terug naar vorige pagina
Onderzoeker
Gerda Janssens
- Disciplines:Artificiële intelligentie
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 1999 → 4 aug 2020
Projecten
1 - 10 of 17
- IMPULS-AI-2021Vanaf1 jan 2021 → 31 dec 2023Financiering: Departement Algemene Zaken en Financiën
- AI in Industrie: Leren en Redeneren voor AutomatisatieVanaf1 jan 2021 → HedenFinanciering: IOF - mandaten
- Theorie, algoritmes en tools voor generieke oplossingen van kennisintensieve bedrijfstoepassingen op basis van formele specificatiesVanaf1 okt 2019 → 30 sep 2023Financiering: BOF - projecten
- Standard, Interactieve en Lifted Model Expansions met FO(.)Vanaf6 dec 2018 → 12 feb 2024Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Decision Analytics: complexe beslissingsprocessenVanaf1 okt 2017 → 30 sep 2019Financiering: IWT / VLAIO - TETRA-fonds
- Op kennis gebaseerde software-engineering: IDP4.Vanaf1 okt 2016 → 30 sep 2018Financiering: IOF - Industrieel Onderzoeksfonds
- Satisfieerbaarheid en modelgeneratie in een oneindige ruimteVanaf17 feb 2016 → 1 jun 2017Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Vervulbaarheid en modelgeneratie in oneindige ruimtesVanaf1 jan 2016 → 31 dec 2019Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Een hoger abstractieniveau voor logische specificatietalenVanaf2 sep 2014 → 9 sep 2020Financiering: FWO Strategische Onderzoeksbeurs
- Van bedrijfsregels naar logicaVanaf2 sep 2014 → 3 mei 2021Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
Publicaties
1 - 10 van 50
- Standard, Interactive and Lifted Model Expansions Using FO(.)(2024)
Auteurs: Pierre Carbonnelle, Marc Denecker, Gerda Janssens
- Reconstructing and Improving Parity Game Solvers with Justifications(2021)
Auteurs: Ruben Lapauw, Marc Denecker, Gerda Janssens
- Towards a Higher Level of Abstraction for Knowledge Representation Languages(2020)
Auteurs: Matthias van der Hallen, Gerda Janssens, Marc Denecker
- Knowledge Representation Analysis of Graph Mining(2019)
Auteurs: Matthias van der Hallen, Sergey Paramonov, Gerda Janssens, Marc Denecker
Pagina's: 21 - 60 - Higher Order Modelling for First Order Solvers(2019)
Auteurs: Ingmar Dasseville, Marc Denecker, Gerda Janssens
- SOGrounder: Modelling and Solving Second-Order Logic.(2018)
Auteurs: Matthias van der Hallen, Gerda Janssens
Pagina's: 72 - 77Aantal pagina's: 5 - Predicate Logic as a Modeling Language: The IDP System(2018)
Auteurs: Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker
Pagina's: 279 - 329 - The KB paradigm and its application to interactive configuration(2017)
Auteurs: Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker
Pagina's: 75 - 90 - Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System(2016)
Auteurs: Joachim Jansen, Gerda Janssens, Marc Denecker
- A compositional typed higher-order logic with definitions(2016)
Auteurs: Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker
Pagina's: 14:1 - 14:1