default search action
Marcello D'Agostino
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j22]Kees van Berkel, Marcello D'Agostino, Sanjay Modgil:
A dialectical formalisation of preferred subtheories reasoning under resource bounds. Int. J. Approx. Reason. 180: 109385 (2025) - 2024
- [j21]Marcello D'Agostino, Alejandro Solares-Rojas:
Tractable depth-bounded approximations to FDE and its satellites. J. Log. Comput. 34(5): 815-855 (2024) - [c13]Marcello D'Agostino, Sanjay Modgil:
Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats. COMMA 2024: 49-60 - 2023
- [j20]Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese:
Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue. FLAP 10(3): 269-277 (2023) - 2021
- [j19]Marcello D'Agostino, Costanza Larese, Sanjay Modgil:
Towards Depth-bounded Natural Deduction for Classical First-order Logic. FLAP 8(2): 423-452 (2021) - [e1]Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese:
Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021. CEUR Workshop Proceedings 3086, CEUR-WS.org 2021 [contents] - 2020
- [j18]Marcello D'Agostino
, Dov M. Gabbay, Sanjay Modgil:
Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Stud Logica 108(2): 291-357 (2020) - [c12]Marcello D'Agostino, Sanjay Modgil:
A Fully Rational Account of Structured Argumentation Under Resource Bounds. IJCAI 2020: 1841-1847 - [c11]Paolo Baldi
Depth-Bounded Approximations of Probability. IPMU (3) 2020: 607-621
2010 – 2019
- 2018
- [j17]Marcello D'Agostino
Classical logic, argument and dialectic. Artif. Intell. 262: 15-51 (2018) - [c10]Marcello D'Agostino:
Formal Argumentation and Epistemic Entrenchment. COMMA 2018: 5 - [c9]Marcello D'Agostino, Sanjay Modgil:
A Study of Argumentative Characterisations of Preferred Subtheories. IJCAI 2018: 1788-1794 - 2017
- [j16]Marcello D'Agostino, Valentino Dardanoni, Roberto Ghiselli Ricci
How to standardize (if you must). Scientometrics 113(2): 825-843 (2017) - 2016
- [c8]Marcello D'Agostino
A Rational Account of Classical Logic Argumentation for Real-World Agents. ECAI 2016: 141-149 - [c7]Marcello D'Agostino, Tommaso Flaminio, Hykel Hosni:
Rational Beliefs Real Agents Can Have - A Logical Point of View. IDM@NIPS 2016: 97-109 - 2015
- [j15]Marcello D'Agostino
The logic and philosophy of information corner: Presentation and call for papers. J. Log. Comput. 25(3): 525-526 (2015) - [j14]Marcello D'Agostino
An informational view of classical logic. Theor. Comput. Sci. 606: 79-97 (2015) - 2014
- [j13]Marcello D'Agostino
A logical calculus for controlled monotonicity. J. Appl. Log. 12(4): 558-569 (2014) - 2013
- [j12]Marcello D'Agostino
Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction. Inf. 4(1): 33-59 (2013) - [j11]Giovanni Boniolo
A logic of non-monotonic interactions. J. Appl. Log. 11(1): 52-62 (2013) - [j10]Marcello D'Agostino
Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480: 43-68 (2013) - [c6]Marcello D'Agostino
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction. LSFA 2013: 35-52
2000 – 2009
- 2009
- [j9]Marcello D'Agostino
The measurement of rank mobility. J. Econ. Theory 144(4): 1783-1803 (2009) - [j8]Marcello D'Agostino
What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting. Soc. Choice Welf. 33(2): 211-233 (2009) - [j7]Marcello D'Agostino
The enduring scandal of deduction. Synth. 167(2): 271-315 (2009) - 2008
- [j6]Marcello D'Agostino
Cut-Based Abduction. Log. J. IGPL 16(6): 537-560 (2008) - 2005
- [c5]Marcello D'Agostino:
Classical Natural Deduction. We Will Show Them! (1) 2005: 429-468
1990 – 1999
- 1998
- [c4]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: 605 - 1997
- [j5]Marcello D'Agostino
Grafting Modalities onto Substructural Implication Systems. Stud Logica 59(1): 65-102 (1997) - 1996
- [c3]Marcello D'Agostino, Dov M. Gabbay:
Fibred Tableaux for Multi-Implication Logic. TABLEAUX 1996: 16-35 - 1995
- [j4]Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
Editorial. Log. J. IGPL 3(6): 826 (1995) - 1994
- [j3]Marcello D'Agostino
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reason. 13(2): 243-281 (1994) - [j2]Marcello D'Agostino
The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. 4(3): 285-319 (1994) - 1992
- [j1]Marcello D'Agostino
Are tableaux an improvement on truth-tables? J. Log. Lang. Inf. 1(3): 235-252 (1992) - [c2]Marcello D'Agostino, Marco Mondadori:
An Improvement of Analytic Tableaux. TABLEAUX 1992: 1-3 - [c1]Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt:
Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX 1992: 23-25
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-22 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: