Marcello D'Agostino

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 14

Top Topics

Rationality Postulates

Classical Logic

Natural Deduction

Top Venues

J. Log. Comput.

Publications

Marcello D'Agostino, Alejandro Solares-Rojas
Tractable depth-bounded approximations to FDE and its satellites. J. Log. Comput. 34 (5) (2024)
Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese
2021 Special Issue. FLAP 10 (3) (2023)
Marcello D'Agostino, Costanza Larese, Sanjay Modgil
Towards Depth-bounded Natural Deduction for Classical First-order Logic. FLAP 8 (2) (2021)
Paolo Baldi, Marcello D'Agostino, Hykel Hosni
Depth-Bounded Approximations of Probability. IPMU (3) (2020)
Marcello D'Agostino, Sanjay Modgil
A Fully Rational Account of Structured Argumentation Under Resource Bounds. IJCAI (2020)
Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil
Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Stud Logica 108 (2) (2020)
Marcello D'Agostino, Sanjay Modgil
Classical logic, argument and dialectic. Artif. Intell. 262 (2018)
Marcello D'Agostino
Formal Argumentation and Epistemic Entrenchment. COMMA (2018)
Marcello D'Agostino, Sanjay Modgil
A Study of Argumentative Characterisations of Preferred Subtheories. IJCAI (2018)
Marcello D'Agostino, Valentino Dardanoni, Roberto Ghiselli Ricci
How to standardize (if you must). Scientometrics 113 (2) (2017)
Marcello D'Agostino, Sanjay Modgil
A Rational Account of Classical Logic Argumentation for Real-World Agents. ECAI (2016)
Marcello D'Agostino, Tommaso Flaminio, Hykel Hosni
Rational Beliefs Real Agents Can Have - A Logical Point of View. IDM@NIPS (2016)
Marcello D'Agostino
An informational view of classical logic. Theor. Comput. Sci. 606 (2015)
Marcello D'Agostino, Luciano Floridi
The logic and philosophy of information corner: Presentation and call for papers. J. Log. Comput. 25 (3) (2015)
Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
A logical calculus for controlled monotonicity. J. Appl. Log. 12 (4) (2014)
Marcello D'Agostino
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction. LSFA (2013)
Marcello D'Agostino
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction. Inf. 4 (1) (2013)
Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
A logic of non-monotonic interactions. J. Appl. Log. 11 (1) (2013)
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480 (2013)
Marcello D'Agostino, Valentino Dardanoni
What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting. Soc. Choice Welf. 33 (2) (2009)
Marcello D'Agostino, Valentino Dardanoni
The measurement of rank mobility. J. Econ. Theory 144 (4) (2009)
Marcello D'Agostino, Luciano Floridi
The enduring scandal of deduction. Synth. 167 (2) (2009)
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
Cut-Based Abduction. Log. J. IGPL 16 (6) (2008)
Marcello D'Agostino
Classical Natural Deduction. We Will Show Them! (1) (2005)
Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems (1998)
Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
Grafting Modalities onto Substructural Implication Systems. Stud Logica 59 (1) (1997)
Marcello D'Agostino, Dov M. Gabbay
Fibred Tableaux for Multi-Implication Logic. TABLEAUX (1996)
Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
Editorial. Log. J. IGPL 3 (6) (1995)
Marcello D'Agostino, Dov M. Gabbay
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reason. 13 (2) (1994)
Marcello D'Agostino, Marco Mondadori
The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. 4 (3) (1994)
Marcello D'Agostino, Marco Mondadori
An Improvement of Analytic Tableaux. TABLEAUX (1992)
Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt
Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX (1992)
Marcello D'Agostino
Are tableaux an improvement on truth-tables? J. Log. Lang. Inf. 1 (3) (1992)