Personal information

Other IDs

Scopus Author ID: 16410852300

Activities

Collapse all

Employment (1)

Università degli Studi di Milano: Milano, Lombardia, IT

2015 to present | Professor (Philosophy)
Employment
Source: Self-asserted source
Marcello D'Agostino

Works (24)

Depth-Bounded Approximations of Probability

2020 | Book chapter
DOI: 10.1007/978-3-030-50153-2_45
Contributors: Paolo Baldi; Marcello D’Agostino; Hykel Hosni
Source: check_circle
Crossref

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

Studia Logica
2020-04-18 | Journal article
DOI: 10.1007/s11225-019-09847-4
Contributors: Marcello D’Agostino; Dov Gabbay; Sanjay Modgil
Source: check_circle
Crossref

A study of argumentative characterisations of preferred subtheories

IJCAI International Joint Conference on Artificial Intelligence
2018 | Conference paper
EID:

2-s2.0-85055684976
Contributors: D'Agostino, M.; Modgil, S.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Classical logic, argument and dialectic

Artificial Intelligence
2018 | Journal article
DOI: 10.1016/j.artint.2018.05.003
EID:

2-s2.0-85047845122
Contributors: D'Agostino, M.; Modgil, S.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

A rational account of classical logic argumentation for real-world agents

Frontiers in Artificial Intelligence and Applications
2016 | Book
DOI: 10.3233/978-1-61499-672-9-141
EID:

2-s2.0-85013042373
Contributors: D'Agostino, M.; Modgil, S.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Adding logic to the toolbox of molecular biology

European Journal for Philosophy of Science
2015 | Journal article
DOI: 10.1007/s13194-015-0118-9
EID:

2-s2.0-84940662333
Contributors: Boniolo, G.; D’Agostino, M.; Piazza, M.; Pulcini, G.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

An informational view of classical logic

Theoretical Computer Science
2015 | Journal article
DOI: 10.1016/j.tcs.2015.06.057
EID:

2-s2.0-84947867097
Contributors: D'Agostino, M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

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

Journal of Logic and Computation
2015 | Journal article
DOI: 10.1093/logcom/exv017
EID:

2-s2.0-84942119372
Contributors: D'Agostino, M.; Floridi, L.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

A logical calculus for controlled monotonicity

Journal of Applied Logic
2014 | Journal article
DOI: 10.1016/j.jal.2014.08.001
EID:

2-s2.0-84922779716
Contributors: D'Agostino, M.; Piazza, M.; Pulcini, G.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Analytic inference and the informational meaning of the logical operators

Logique et Analyse
2014 | Journal article
DOI: 10.2143/LEA.227.0.3053512
EID:

2-s2.0-84903971149
Contributors: D'Agostino, M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Informational semantics, non-deterministic matrices and feasible deduction

Electronic Notes in Theoretical Computer Science
2014 | Journal article
DOI: 10.1016/j.entcs.2014.06.004
EID:

2-s2.0-84903975789
Contributors: D'Agostino, M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

A logic of non-monotonic interactions

Journal of Applied Logic
2013 | Journal article
DOI: 10.1016/j.jal.2012.09.002
EID:

2-s2.0-84872810923
Contributors: Boniolo, G.; D'Agostino, M.; Piazza, M.; Pulcini, G.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Semantic information and the trivialization of logic: Floridi on the scandal of deduction

Information (Switzerland)
2013 | Journal article
DOI: 10.3390/info4010033
EID:

2-s2.0-84884192488
Contributors: D'Agostino, M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Semantics and proof-theory of depth bounded Boolean logics

Theoretical Computer Science
2013 | Journal article
DOI: 10.1016/j.tcs.2013.02.014
EID:

2-s2.0-84875525114
Contributors: D'Agostino, M.; Finger, M.; Gabbay, D.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Epistemic accuracy and subjective probability

EPSA Epistemology and Methodology of Science: Launch of the European Philosophy of Science Association
2010 | Book chapter
Part of DOI: 10.1007/978-90-481-3263-8_8
EID:

2-s2.0-84892361419
Contributors: D'Agostino, M.; Sinigaglia, C.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Zsyntax: A formal language for molecular biology with projected applications in text mining and biological prediction

PLoS ONE
2010 | Journal article
DOI: 10.1371/journal.pone.0009511
EID:

2-s2.0-77949809386
Contributors: Boniolo, G.; D'Agostino, M.; Di Fiore, P.P.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

The enduring scandal of deduction : Is propositional logic really uninformative?

Synthese
2009 | Journal article
DOI: 10.1007/s11229-008-9409-4
EID:

2-s2.0-60349101044
Contributors: D'Agostino, M.; Floridi, L.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

The measurement of rank mobility

Journal of Economic Theory
2009 | Journal article
DOI: 10.1016/j.jet.2008.11.003
EID:

2-s2.0-67649345677
Contributors: D'Agostino, M.; Dardanoni, V.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting

Social Choice and Welfare
2009 | Journal article
DOI: 10.1007/s00355-008-0353-5
EID:

2-s2.0-67650678377
Contributors: D'Agostino, M.; Dardanoni, V.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Cut-based abduction

Logic Journal of the IGPL
2008 | Journal article
DOI: 10.1093/jigpal/jzn020
EID:

2-s2.0-57649114638
Contributors: D'Agostino, M.; Finger, M.; Gabbay, D.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Grafting modalities onto substructural implication systems

Studia Logica
1997 | Journal article
DOI: 10.1023/A:1004947400860
EID:

2-s2.0-0009560772
Contributors: D'agostino, M.; Gabbay, D.M.; Russo, A.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics

Journal of Automated Reasoning
1994 | Journal article
DOI: 10.1007/BF00881958
EID:

2-s2.0-0001417922
Contributors: D'Agostino, M.; Gabbay, D.M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

The taming of the cut. Classical refutations with analytic cut

Journal of Logic and Computation
1994 | Journal article
DOI: 10.1093/logcom/4.3.285
EID:

2-s2.0-0000635278
Contributors: Agostino, M.D.; Mondadori, M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Are tableaux an improvement on truth-tables? - Cut-free proofs and bivalence

Journal of Logic, Language and Information
1992 | Journal article
DOI: 10.1007/BF00156916
EID:

2-s2.0-0347547102
Contributors: D'Agostino, M.
Source: Self-asserted source
Marcello D'Agostino via Scopus - Elsevier

Peer review (3 reviews for 3 publications/grants)

Review activity for International journal of approximate reasoning (1)
Review activity for Knowledge in society. (1)
Review activity for Studia logica. (1)
How many people are using ORCID?