Simon Marynissen

According to our database, Simon Marynissen authored at least 7 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

On Nested Justification Systems.

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

Theory Pract. Log. Program., 2022

Tree-Like Justification Systems are Consistent.

Simon Marynissen, Bart Bogaerts

Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022

On Nested Justification Systems (full version).

Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker

CoRR, 2022

2021

On the Relation Between Approximation Fixpoint Theory and Justification Theory.

Simon Marynissen, Bart Bogaerts, Marc Denecker

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Exploiting Game Theory for Analysing Justifications.

Simon Marynissen, Bart Bogaerts, Marc Denecker

Theory Pract. Log. Program., 2020

2019

Extensions to Justification Theory.

Simon Marynissen

CoRR, 2019

Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties.

Marjolein Deryck, Joost Vennekens, Jo Devriendt, Simon Marynissen

Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019