1. On the computational complexity of ethics: moral tractability for minds and machines;Artificial Intelligence Review;2024-03-31
2. Distributed Consistency Beyond Queries;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
3. A First-order Logic with Frames;ACM Transactions on Programming Languages and Systems;2023-05-15
4. Adventures with Datalog: Walking the Thin Line Between Theory and Practice;AIxIA 2022 – Advances in Artificial Intelligence;2023
5. The Expressive Power of Revised Datalog on Problems with Closure Properties;Logic, Rationality, and Interaction;2023