Marcello D'Agostino

According to our database, Marcello D'Agostino authored at least 34 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Tractable depth-bounded approximations to FDE and its satellites.

Marcello D'Agostino, Alejandro Solares-Rojas

J. Log. Comput., 2024

Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats.

Marcello D'Agostino, Sanjay Modgil

Proceedings of the Computational Models of Argument, 2024

2023

Advancing the Boundaries of Formal Argumentation: Reflections on the AI³ 2021 Special Issue.

Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese

FLAP, 2023

2021

Towards Depth-bounded Natural Deduction for Classical First-order Logic.

Marcello D'Agostino, Costanza Larese, Sanjay Modgil

FLAP, 2021

2020

Normality, Non-contamination and Logical Depth in Classical Natural Deduction.

Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil

Stud Logica, 2020

Depth-Bounded Approximations of Probability.

Paolo Baldi, Marcello D'Agostino, Hykel Hosni

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

A Fully Rational Account of Structured Argumentation Under Resource Bounds.

Marcello D'Agostino, Sanjay Modgil

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Classical logic, argument and dialectic.

Marcello D'Agostino, Sanjay Modgil

Artif. Intell., 2018

A Study of Argumentative Characterisations of Preferred Subtheories.

Marcello D'Agostino, Sanjay Modgil

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Formal Argumentation and Epistemic Entrenchment.

Marcello D'Agostino

Proceedings of the Computational Models of Argument, 2018

2017

How to standardize (if you must).

Marcello D'Agostino, Valentino Dardanoni, Roberto Ghiselli Ricci

Scientometrics, 2017

2016

Rational Beliefs Real Agents Can Have - A Logical Point of View.

Marcello D'Agostino, Tommaso Flaminio, Hykel Hosni

Proceedings of the NIPS 2016 Workshop on Imperfect Decision Makers: Admitting Real-World Rationality, 2016

A Rational Account of Classical Logic Argumentation for Real-World Agents.

Marcello D'Agostino, Sanjay Modgil

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

An informational view of classical logic.

Marcello D'Agostino

Theor. Comput. Sci., 2015

The logic and philosophy of information corner: Presentation and call for papers.

Marcello D'Agostino, Luciano Floridi

J. Log. Comput., 2015

2014

A logical calculus for controlled monotonicity.

Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

J. Appl. Log., 2014

2013

Semantics and proof-theory of depth bounded Boolean logics.

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay

Theor. Comput. Sci., 2013

A logic of non-monotonic interactions.

Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini

J. Appl. Log., 2013

Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction.

Marcello D'Agostino

Inf., 2013

Informational Semantics, Non-Deterministic Matrices and Feasible Deduction.

Marcello D'Agostino

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2009

The enduring scandal of deduction.

Marcello D'Agostino, Luciano Floridi

Synth., 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 measurement of rank mobility.

Marcello D'Agostino, Valentino Dardanoni

J. Econ. Theory, 2009

2008

Cut-Based Abduction.

Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay

Log. J. IGPL, 2008

2005

Classical Natural Deduction.

Marcello D'Agostino

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

1998

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.

Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt

Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998

1997

Grafting Modalities onto Substructural Implication Systems.

Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo

Stud Logica, 1997

1996

Fibred Tableaux for Multi-Implication Logic.

Marcello D'Agostino, Dov M. Gabbay

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995

Editorial.

Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves

Log. J. IGPL, 1995

1994

The Taming of the Cut. Classical Refutations with Analytic Cut.

Marcello D'Agostino, Marco Mondadori

J. Log. Comput., 1994

A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.

Marcello D'Agostino, Dov M. Gabbay

J. Autom. Reason., 1994

1992

Are tableaux an improvement on truth-tables?

Marcello D'Agostino

J. Log. Lang. Inf., 1992

An Improvement of Analytic Tableaux.

Marcello D'Agostino, Marco Mondadori

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Towards Tableau Theorem-Proving with Analytic Cut.

Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992