| 2024 | COMMA | Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats. | Marcello D'Agostino, Sanjay Modgil |
| 2020 | IJCAI | A Fully Rational Account of Structured Argumentation Under Resource Bounds. | Marcello D'Agostino, Sanjay Modgil |
| 2020 | IPMU | Depth-Bounded Approximations of Probability. | Paolo Baldi, Marcello D'Agostino, Hykel Hosni |
| 2018 | COMMA | Formal Argumentation and Epistemic Entrenchment. | Marcello D'Agostino |
| 2018 | IJCAI | A Study of Argumentative Characterisations of Preferred Subtheories. | Marcello D'Agostino, Sanjay Modgil |
| 2016 | ECAI | A Rational Account of Classical Logic Argumentation for Real-World Agents. | Marcello D'Agostino, Sanjay Modgil |
| 1998 | ITS | WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. | Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt |
| 1996 | TABLEAUX | Fibred Tableaux for Multi-Implication Logic. | Marcello D'Agostino, Dov M. Gabbay |
| 1992 | TABLEAUX | Towards Tableau Theorem-Proving with Analytic Cut. | Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt |
| 1992 | TABLEAUX | An Improvement of Analytic Tableaux. | Marcello D'Agostino, Marco Mondadori |