Constrained Input/Output Logic in HOL: An Algebraic Embedding

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