Towards Tableau Theorem-Proving with Analytic Cut. - Jim Cunningham; Marcello D'Agostino; Jeremy V. Pitt (TABLEAUX, 1992)

An Improvement of Analytic Tableaux. - Marcello D'Agostino; Marco Mondadori (TABLEAUX, 1992)

Are tableaux an improvement on truth-tables? - Marcello D'Agostino (J. Log. Lang. Inf., 1992)

A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. - Marcello D'Agostino; Dov M. Gabbay (J. Autom. Reason., 1994)

The Taming of the Cut. Classical Refutations with Analytic Cut. - Marcello D'Agostino; Marco Mondadori (J. Log. Comput., 1994)

Editorial. - Krysia Broda; Marcello D'Agostino; Rajeev Goré; Rob Johnson 001; Steve Reeves (Log. J. IGPL, 1995)

Fibred Tableaux for Multi-Implication Logic. - Marcello D'Agostino; Dov M. Gabbay (TABLEAUX, 1996)

Grafting Modalities onto Substructural Implication Systems. - Marcello D'Agostino; Dov M. Gabbay; Alessandra Russo (Stud Logica, 1997)

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. - Marcello D'Agostino; Marco Mondadori; Ulrich Endriss; Dov M. Gabbay; Jeremy Pitt (Intelligent Tutoring Systems, 1998)

Classical Natural Deduction. - Marcello D'Agostino (We Will Show Them! (1), 2005)

Cut-Based Abduction. - Marcello D'Agostino; Marcelo Finger; Dov M. Gabbay (Log. J. IGPL, 2008)

The measurement of rank mobility. - Marcello D'Agostino; Valentino Dardanoni (J. Econ. Theory, 2009)

What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting. - Marcello D'Agostino; Valentino Dardanoni (Soc. Choice Welf., 2009)

The enduring scandal of deduction. - Marcello D'Agostino; Luciano Floridi (Synth., 2009)

Informational Semantics, Non-Deterministic Matrices and Feasible Deduction. - Marcello D'Agostino (LSFA, 2013)

Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction. - Marcello D'Agostino (Inf., 2013)

A logic of non-monotonic interactions. - Giovanni Boniolo; Marcello D'Agostino; Mario Piazza; Gabriele Pulcini (J. Appl. Log., 2013)

Semantics and proof-theory of depth bounded Boolean logics. - Marcello D'Agostino; Marcelo Finger; Dov M. Gabbay (Theor. Comput. Sci., 2013)

A logical calculus for controlled monotonicity. - Marcello D'Agostino; Mario Piazza; Gabriele Pulcini (J. Appl. Log., 2014)

The logic and philosophy of information corner: Presentation and call for papers. - Marcello D'Agostino; Luciano Floridi (J. Log. Comput., 2015)

An informational view of classical logic. - Marcello D'Agostino (Theor. Comput. Sci., 2015)

A Rational Account of Classical Logic Argumentation for Real-World Agents. - Marcello D'Agostino; Sanjay Modgil (ECAI, 2016)

Rational Beliefs Real Agents Can Have - A Logical Point of View. - Marcello D'Agostino; Tommaso Flaminio; Hykel Hosni (IDM@NIPS, 2016)

How to standardize (if you must). - Marcello D'Agostino; Valentino Dardanoni; Roberto Ghiselli Ricci (Scientometrics, 2017)

Formal Argumentation and Epistemic Entrenchment. - Marcello D'Agostino (COMMA, 2018)

A Study of Argumentative Characterisations of Preferred Subtheories. - Marcello D'Agostino; Sanjay Modgil (IJCAI, 2018)

Classical logic, argument and dialectic. - Marcello D'Agostino; Sanjay Modgil (Artif. Intell., 2018)

A Fully Rational Account of Structured Argumentation Under Resource Bounds. - Marcello D'Agostino; Sanjay Modgil (IJCAI, 2020)

Depth-Bounded Approximations of Probability. - Paolo Baldi; Marcello D'Agostino; Hykel Hosni (IPMU (3), 2020)

Normality, Non-contamination and Logical Depth in Classical Natural Deduction. - Marcello D'Agostino; Dov M. Gabbay; Sanjay Modgil (Stud Logica, 2020)

Towards Depth-bounded Natural Deduction for Classical First-order Logic. - Marcello D'Agostino; Costanza Larese; Sanjay Modgil (FLAP, 2021)

Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue. - Marcello D'Agostino; Fabio Aurelio D'Asaro; Costanza Larese (FLAP, 2023)

Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats. - Marcello D'Agostino; Sanjay Modgil (COMMA, 2024)

Tractable depth-bounded approximations to FDE and its satellites. - Marcello D'Agostino; Alejandro Solares-Rojas (J. Log. Comput., 2024)

A dialectical formalisation of preferred subtheories reasoning under resource bounds. - Kees van Berkel 002; Marcello D'Agostino; Sanjay Modgil (Int. J. Approx. Reason., 2025)