< Back to previous page
Researcher
Ruben Lapauw
- Disciplines:Artificial intelligence
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → 31 Dec 2021 - Informatics Section (Division)
Member
From1 Oct 2014 → 31 Dec 2018
Projects
1 - 1 of 1
- From business rule systems to logic.From2 Sep 2014 → 3 May 2021Funding: IWT personal funding - strategic basic research grants
Publications
1 - 5 of 5
- Justifications and a Reconstruction of Parity Game Solving Algorithms(2023)
Authors: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pages: 170 - 187 - Reconstructing and Improving Parity Game Solvers with Justifications(2021)
Authors: Ruben Lapauw, Marc Denecker, Gerda Janssens
- Improving Parity Game Solvers with Justifications(2020)
Authors: Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Pages: 449 - 470Number of pages: 22 - Resilient delegation revocation with precedence for predecessors is NP-complete(2016)
Authors: Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pages: 432 - 442 - Visualising interactive inferences with IDPD3(2015)
Authors: Ruben Lapauw, Ingmar Dasseville, Marc Denecker
Pages: 67 - 81