Get started
Author

Marcello D’Agostino

Observed names: D'AGOSTINO, Marcello, D'Agostino M., D'Agostino Marcello, D'Agostino Marcello., D'Agostino, Marcello, D’Agostino, Marcello, M. D'Agostino, MARCELLO D' AGOSTINO, Marcello D'Agostino, Marcello D'agostino, Marcello DʼAgostino
Institution: University of Milan
ORCID: 0000-0002-3832-4487
Observed ORCID: 0000-0002-3832-4487
OpenAlex ID: A5023215887
Handbook of Tableau Methods
1999 · Marcello D’Agostino, Dov M. Gabbay, et al. · Springer eBooks · 304
The Taming of the Cut. Classical Refutations with Analytic Cut
1994 · MARCELLO D' AGOSTINO, MARCO MONDADORI · Journal of Logic and Computation · 161
Introduction: the Governance of Algorithms
2018 · Marcello D’Agostino, Massimo Durante · Philosophy & Technology · 134
Are tableaux an improvement on truth-tables?
1992 · Marcello D'Agostino · Journal of Logic Language and Information · 78
The measurement of rank mobility
2008 · Marcello D'Agostino, Valentino Dardanoni · Journal of Economic Theory · 67
Tableau Methods for Classical Propositional Logic
1999 · Marcello D’Agostino · Springer eBooks · 63
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics
1994 · Marcello D'Agostino, Dov M. Gabbay · Journal of Automated Reasoning · 63
What’s so special about Euclidean distance?
2008 · Marcello D’Agostino, Valentino Dardanoni · Social Choice and Welfare · 62
The enduring scandal of deduction
2008 · Marcello D’Agostino, Luciano Floridi · Synthese · 59
PDF
Investigations into the complexity of some propositional calculi
1990 · Marcello D’Agostino · OpenGrey (Institut de l'Information Scientifique et Technique) · 37
Labelled Deduction
2000 · Basin, David, D’Agostino, Marcello, et al. · Applied logic series · 36
An informational view of classical logic
2015 · Marcello D'Agostino · Theoretical Computer Science · 28
PDF
Semantics and proof-theory of depth bounded Boolean logics
2013 · Marcello D’Agostino, Marcelo Finger, et al. · Theoretical Computer Science · 26
PDF
Epistemic Accuracy and Subjective Probability
2009 · Marcello D’Agostino, Corrado Sinigaglia · Springer eBooks · 25
Classical logic, argument and dialectic
2018 · M. D'Agostino, S. Modgil · Artificial Intelligence · 23
PDF
Zsyntax: A Formal Language for Molecular Biology with Projected Applications in Text Mining and Biological Prediction
2010 · Giovanni Boniolo, Marcello D'Agostino, et al. · PLoS ONE · 22
PDF
Tableau Methods for Substructural Logics
1999 · Marcello D’Agostino, Dov Gabbay, et al. · Springer eBooks · 22
Grafting Modalities onto Substructural Implication Systems
1997 · Marcello D'agostino, Dov M. Gabbay, et al. · Studia Logica · 21
Analytic Inference And The Informational Meaning Of The Logical Operators
2014 · Marcello D’Agostino · Institutional Research Information System University of Ferrara (University of Ferrara) · 16
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction
2013 · Marcello D'Agostino · Information · 16
PDF
A Study of Argumentative Characterisations of Preferred Subtheories
2018 · Marcello D'Agostino, Sanjay Modgil · International Joint Conference on Artificial Intelligence · 14
PDF
Adding logic to the toolbox of molecular biology
2015 · Giovanni Boniolo, Marcello D’Agostino, et al. · European Journal for Philosophy of Science · 13
PDF
A logical calculus for controlled monotonicity
2014 · Marcello D'Agostino, Mario Piazza, et al. · Journal of Applied Logic · 12
PDF
Cut-Based Abduction
2008 · M. D'Agostino, M. Finger, et al. · Logic Journal of IGPL · 12
A Fully Rational Account of Structured Argumentation Under Resource Bounds
2020 · Marcello D'Agostino, Sanjay Modgil · International Joint Conference on Artificial Intelligence · 11
PDF
Works count: 70
Citation count: 1,425
H-index: 18
I10-index: 28
Year
Topic
Type