Olivier Roy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Marta Bílková
5 publications
Zoé Christoff
5 publications
Huimin Dong
2 publications

research

∙ 10/09/2021

Dynamic Logic of Legal Competences

We propose a new formalization of legal competences, and in particular f...

0 Huimin Dong, et al. ∙

research

∙ 06/22/2021

Revisiting Epistemic Logic with Names

This paper revisits the multi-agent epistemic logic presented in [10], w...

0 Marta Bílková, et al. ∙