presentations
Talks
Introduction to AI: understanding the technology [Invited seminar at Asser Institute, 2021]
History of AI: current trends, prospective trajectories [Invited seminar at Asser Institute, 2020, 2019]
Smart contracts, principles and beyond [Invited seminar at UCP, 2022, 2021]
Code-driven law? [Invited contribution at AI and Border Control workshop, Edinburgh Law School, The Carnegie Trust, 2021]
On mapping values in AI governance [Talk given at the Algorithmic Law and Society Symposium at HEC Paris, 2021]
Academic presentations
Code-driven Law, NO! Normware, SI! [CRCL2022]
DPCL: a language template for normative specifications [PROLALA-POPL2022]
Computability of diagrammatic theories for normative positions [JURIX2021]
Unexpectedness and Bayes' rule [CIFMA2021]
Accounting Value Effects for Responsible Networking [TAURIN2021]
Like circles in the water: reponsibility as a system-level function [XAILA2020]
Monitoring and enforcement as a second-order guidance problem [JURIX2020]
Disentangling deontic positions and abilities: a modal analysis [CILC2020]
Operationalizing declarative and procedural knowledge [CAUSAL-ICLP2020]
Towards a computational theory of action, causation, and power for normative reasoning [JURIX2019]
Logic conditionals, supervenience, and selection tasks [DKB-KIK2019]
The role of normware in trustworthy and explainable AI [XAILA2018]
Computing contrast on conceptual spaces [AIC2018]
On the problems of interface: explainability, conceptual spaces, relevance [Post-doc ending presentation]
A computational model of moral and legal responsibility [JURIX2017]
Similarity and contrast on conceptual spaces [KI2017]
A Petri Net notation for normative modeling [MIREL2017]
Aligning law and action [PhD Defense presentation]
Reading agendas between the lines [AI4J-ECAI2016]
Bridging representations of norm and of behaviour [JURIX2015]
Revisiting constitutive rules [AICOL-JURIX2015]
A constructivist approach to rule bases [ICAART2015]
On the interactional meaning of fundamental legal concepts [JURIX2014]
Implementing explanation-based argumentation using answer set programming [ARGMAS-AAMAS2014]
For lecture slides, see teaching.