Simon Marynissen

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Top Venues

Theory Pract. Log. Program.

Publications

Simon Marynissen, Bart Bogaerts, Marc Denecker
Embedding justification theory in approximation fixpoint theory. Artif. Intell. 331 (2024)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
On Nested Justification Systems (full version). CoRR (2022)
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
On Nested Justification Systems. Theory Pract. Log. Program. 22 (5) (2022)
Simon Marynissen, Bart Bogaerts
Tree-Like Justification Systems are Consistent. ICLP Technical Communications / Doctoral Consortium (2022)
Simon Marynissen, Bart Bogaerts, Marc Denecker
On the Relation Between Approximation Fixpoint Theory and Justification Theory. IJCAI (2021)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Exploiting Game Theory for Analysing Justifications. CoRR (2020)
Simon Marynissen, Bart Bogaerts, Marc Denecker
Exploiting Game Theory for Analysing Justifications. Theory Pract. Log. Program. 20 (6) (2020)
Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen
Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties. ICSC (2019)
Simon Marynissen
Extensions to Justification Theory. CoRR (2019)