< Terug naar vorige pagina
Onderzoeker
Ruben Lapauw
- Disciplines:Artificiële intelligentie
Affiliaties
- Declaratieve Talen en Artificiële Intelligentie (DTAI) (Afdeling)
Lid
Vanaf1 aug 2020 → 31 dec 2021 - Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 2014 → 31 dec 2018
Projecten
1 - 1 of 1
- Van bedrijfsregels naar logicaVanaf2 sep 2014 → 3 mei 2021Financiering: IWT persoonsgebonden financ. - strategische onderzoeksbeurzen
Publicaties
1 - 5 van 5
- Justifications and a Reconstruction of Parity Game Solving Algorithms(2023)
Auteurs: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pagina's: 170 - 187 - Reconstructing and Improving Parity Game Solvers with Justifications(2021)
Auteurs: Ruben Lapauw, Marc Denecker, Gerda Janssens
- Improving Parity Game Solvers with Justifications(2020)
Auteurs: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pagina's: 449 - 470Aantal pagina's: 22 - Resilient delegation revocation with precedence for predecessors is NP-complete(2016)
Auteurs: Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 432 - 442 - Visualising interactive inferences with IDPD3(2015)
Auteurs: Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pagina's: 67 - 81