The Libra Dialogue Protocol for Comparative Deliberation
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
Leon van der Torre
Professor of Artificial Intelligence and Computer Science
Leon van der Torre is a full professor of artificial intelligence and computer science at the University of Luxembourg. He has been working on deontic logic and its applications for nearly three decades. He is one of the founding fathers of input-output logic, the BOID architecture, the game-theoretic approach to normative multiagent systems, and the LogiKEy methodology.