Casuistical Reasoning in Bioethics as an Argumentation-Based Dialogue Game. - Luca Redondi (DEON, 2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning. - Ali Farjami; Luca Redondi; Marco Valentino (CoRR, 2026)