Andrea Sabatini

Short Bio

Andrea Sabatini TODO

Recent Activity

2026-10-28 : Andrea Sabatini joined our team to work on the Lodex project

2026-10-28 : Talks on Cut-Freeness and Integrating Questions in the Argument Calculi at the Lodex Workshop in Luxembourg

2026-10-28 : New paper on “Making Argument Calculi Proof-Theoretically Robust: Cut-Elimination, Analyticity, and Interpolation” is forthcoming in the Proceedings of AI^3

Publications (since at RRS)

2026

• van Berkel, Kees and Sabatini, Andrea and Straßer, Christian (2026). Making Argument Calculi Proof-Theoretically Robust: Cut-Elimination, Analyticity, and Interpolation. Proceedings of the 3rd Workshop on Advances in Argumentation in Artificial Intelligence (AI${}^3$ 2026).

2026

• van Berkel, Kees and Sabatini, Andrea and Straßer, Christian (2026). Making Argument Calculi Proof-Theoretically Robust: Cut-Elimination, Analyticity, and Interpolation. Proceedings of the 3rd Workshop on Advances in Argumentation in Artificial Intelligence (AI${}^3$ 2026).