Marcello D'Agostino
Orcid: 0000-0002-3832-4487
According to our database1,
Marcello D'Agostino
authored at least 33 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Log. Comput., 2024
2023
Advancing the Boundaries of Formal Argumentation: Reflections on the AI<sup>3</sup> 2021 Special Issue.
FLAP, 2023
2021
2020
Stud Logica, 2020
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Computational Models of Argument, 2018
2017
2016
Proceedings of the NIPS 2016 Workshop on Imperfect Decision Makers: Admitting Real-World Rationality, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
J. Log. Comput., 2015
2014
2013
Theor. Comput. Sci., 2013
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction.
Inf., 2013
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013
2009
What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting.
Soc. Choice Welf., 2009
2008
2005
Classical Natural Deduction.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
1998
Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998
1997
1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
1995
1994
J. Log. Comput., 1994
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.
J. Autom. Reason., 1994
1992
An Improvement of Analytic Tableaux.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
Towards Tableau Theorem-Proving with Analytic Cut.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992