Type
Publication
Preprint, arXiv:2605.27246
Luca Pasetto
PostDoc Researcher
My current research focuses on knowledge representation and automation of reasoning with non-classical and non-monotonic logics, especially with application to the legal context. I am also interested in designing and applying formal techniques to assess and explain the behaviour of non-transparent systems and to check for compliance with regulatory constraints. For more information, please visit my website