< Terug naar vorige pagina
Onderzoeker
Simon Marynissen
- Trefwoorden:Informatica
Affiliaties
- Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf15 feb 2021 → 14 feb 2023 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf15 feb 2021 → 20 okt 2022 - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf16 jan 2019 → 31 jan 2022
Publicaties
1 - 5 van 5
- On Nested Justification Systems(2022)
Auteurs: Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Denecker Marc
Pagina's: 641-657 - Tree-Like Justification Systems are Consistent(2022)Series: Electronic Proceedings in Theoretical Computer ScienceVolume: 364
Auteurs: Simon Marynissen, Bart Bogaerts
Pagina's: 1-11Aantal pagina's: 11 - On the Relation Between Approximation Fixpoint Theory and Justification Theory(2021)Series: IJCAI International Joint Conference on Artificial Intelligence
Auteurs: Simon Marynissen, Bart Bogaerts, Marc Denecker
Pagina's: 1973-1980Aantal pagina's: 8 - Exploiting Game Theory for Analysing Justifications(2020)
Auteurs: Simon Marynissen, Bart Bogaerts, Marc Denecker
Pagina's: 880-894 - Towards Lightweight Completion Formulas for Lazy Grounding in Answer Set Programming(2020)
Auteurs: Bart Bogaerts, Simon Marynissen, Antonius Weinzierl
Pagina's: 58-66Aantal pagina's: 9