Marcello D'Agostino

36 papers A* 2A 1B 4C 2Journal 22Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A dialectical formalisation of preferred subtheories reasoning under resource bounds. Int. J. Approx. Reason. Kees van Berkel, Marcello D'Agostino, Sanjay Modgil
2024	C	`conf`	Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats. COMMA Marcello D'Agostino, Sanjay Modgil
2024	J	`jnl`	Tractable depth-bounded approximations to FDE and its satellites. J. Log. Comput. Marcello D'Agostino, Alejandro Solares-Rojas
2023	J	`jnl`	Advancing the Boundaries of Formal Argumentation: Reflections on the AI FLAP Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese
2021	—	`ed.`	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. AI³@AI*IA Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese
2021	J	`jnl`	Towards Depth-bounded Natural Deduction for Classical First-order Logic. FLAP Marcello D'Agostino, Costanza Larese, Sanjay Modgil
2020	A*	`conf`	A Fully Rational Account of Structured Argumentation Under Resource Bounds. IJCAI Marcello D'Agostino, Sanjay Modgil
2020	—	`conf`	Depth-Bounded Approximations of Probability. IPMU (3) Paolo Baldi, Marcello D'Agostino, Hykel Hosni
2020	J	`jnl`	Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Stud Logica Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil
2018	A*	`conf`	A Study of Argumentative Characterisations of Preferred Subtheories. IJCAI Marcello D'Agostino, Sanjay Modgil
2018	J	`jnl`	Classical logic, argument and dialectic. Artif. Intell. Marcello D'Agostino, Sanjay Modgil
2018	C	`conf`	Formal Argumentation and Epistemic Entrenchment. COMMA Marcello D'Agostino
2017	J	`jnl`	How to standardize (if you must). Scientometrics Marcello D'Agostino, Valentino Dardanoni, Roberto Ghiselli Ricci
2016	A	`conf`	A Rational Account of Classical Logic Argumentation for Real-World Agents. ECAI Marcello D'Agostino, Sanjay Modgil
2016	—	`conf`	Rational Beliefs Real Agents Can Have - A Logical Point of View. IDM@NIPS Marcello D'Agostino, Tommaso Flaminio, Hykel Hosni
2015	J	`jnl`	An informational view of classical logic. Theor. Comput. Sci. Marcello D'Agostino
2015	J	`jnl`	The logic and philosophy of information corner: Presentation and call for papers. J. Log. Comput. Marcello D'Agostino, Luciano Floridi
2014	J	`jnl`	A logical calculus for controlled monotonicity. J. Appl. Log. Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2013	J	`jnl`	A logic of non-monotonic interactions. J. Appl. Log. Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini
2013	—	`conf`	Informational Semantics, Non-Deterministic Matrices and Feasible Deduction. LSFA Marcello D'Agostino
2013	J	`jnl`	Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction. Inf. Marcello D'Agostino
2013	J	`jnl`	Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
2009	J	`jnl`	The enduring scandal of deduction. Synth. Marcello D'Agostino, Luciano Floridi
2009	J	`jnl`	The measurement of rank mobility. J. Econ. Theory Marcello D'Agostino, Valentino Dardanoni
2009	J	`jnl`	What's so special about Euclidean distance? - A characterization with applications to mobility and spatial voting. Soc. Choice Welf. Marcello D'Agostino, Valentino Dardanoni
2008	J	`jnl`	Cut-Based Abduction. Log. J. IGPL Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
2005	—	`conf`	Classical Natural Deduction. We Will Show Them! (1) Marcello D'Agostino
1998	B	`conf`	WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
1997	J	`jnl`	Grafting Modalities onto Substructural Implication Systems. Stud Logica Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
1996	B	`conf`	Fibred Tableaux for Multi-Implication Logic. TABLEAUX Marcello D'Agostino, Dov M. Gabbay
1995	J	`jnl`	Editorial. Log. J. IGPL Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
1994	J	`jnl`	A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reason. Marcello D'Agostino, Dov M. Gabbay
1994	J	`jnl`	The Taming of the Cut. Classical Refutations with Analytic Cut. J. Log. Comput. Marcello D'Agostino, Marco Mondadori
1992	B	`conf`	An Improvement of Analytic Tableaux. TABLEAUX Marcello D'Agostino, Marco Mondadori
1992	J	`jnl`	Are tableaux an improvement on truth-tables? J. Log. Lang. Inf. Marcello D'Agostino
1992	B	`conf`	Towards Tableau Theorem-Proving with Analytic Cut. TABLEAUX Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt