Marcello D'Agostino

Alejandro Solares-Rojas

J. Log. Comput., 2024

2023

Advancing the Boundaries of Formal Argumentation: Reflections on the AI<sup>3</sup> 2021 Special Issue.

[BibT_eX]

[DOI]

Fabio Aurelio D'Asaro

Costanza Larese

FLAP, 2023

2021

Towards Depth-bounded Natural Deduction for Classical First-order Logic.

[BibT_eX]

[DOI]

Costanza Larese

FLAP, 2021

2020

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

[BibT_eX]

[DOI]

Stud Logica, 2020

Depth-Bounded Approximations of Probability.

[BibT_eX]

[DOI]

Paolo Baldi

Hykel Hosni

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

A Fully Rational Account of Structured Argumentation Under Resource Bounds.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Classical logic, argument and dialectic.

[BibT_eX]

[DOI]

Artif. Intell., 2018

A Study of Argumentative Characterisations of Preferred Subtheories.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Formal Argumentation and Epistemic Entrenchment.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

2017

How to standardize (if you must).

[BibT_eX]

[DOI]

Valentino Dardanoni

Roberto Ghiselli Ricci

Scientometrics, 2017

2016

Rational Beliefs Real Agents Can Have - A Logical Point of View.

[BibT_eX]

[DOI]

Tommaso Flaminio

Hykel Hosni

Proceedings of the NIPS 2016 Workshop on Imperfect Decision Makers: Admitting Real-World Rationality, 2016

A Rational Account of Classical Logic Argumentation for Real-World Agents.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

An informational view of classical logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

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

[BibT_eX]

[DOI]

Luciano Floridi

J. Log. Comput., 2015

2014

A logical calculus for controlled monotonicity.

[BibT_eX]

[DOI]

Mario Piazza

Gabriele Pulcini

J. Appl. Log., 2014

2013

Semantics and proof-theory of depth bounded Boolean logics.

[BibT_eX]

[DOI]

Marcelo Finger

Theor. Comput. Sci., 2013

A logic of non-monotonic interactions.

[BibT_eX]

[DOI]

J. Appl. Log., 2013

Semantic Information and the Trivialization of Logic: Floridi on the Scandal of Deduction.

[BibT_eX]

[DOI]

Inf., 2013

Informational Semantics, Non-Deterministic Matrices and Feasible Deduction.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2009

The enduring scandal of deduction.

[BibT_eX]

[DOI]

Luciano Floridi

Synth., 2009

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

[BibT_eX]

[DOI]

Valentino Dardanoni

Soc. Choice Welf., 2009

The measurement of rank mobility.

[BibT_eX]

[DOI]

Valentino Dardanoni

J. Econ. Theory, 2009

2008

Cut-Based Abduction.

[BibT_eX]

[DOI]

Marcelo Finger

Log. J. IGPL, 2008

2005

Classical Natural Deduction.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

1998

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998

1997

Grafting Modalities onto Substructural Implication Systems.

[BibT_eX]

[DOI]

Alessandra Russo

Stud Logica, 1997

1996

Fibred Tableaux for Multi-Implication Logic.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995

Editorial.

[BibT_eX]

[DOI]

Log. J. IGPL, 1995

1994

The Taming of the Cut. Classical Refutations with Analytic Cut.

[BibT_eX]

[DOI]

Marco Mondadori

J. Log. Comput., 1994

A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

1992

Are tableaux an improvement on truth-tables?

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1992

An Improvement of Analytic Tableaux.

[BibT_eX]

Marco Mondadori

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Towards Tableau Theorem-Proving with Analytic Cut.

[BibT_eX]

Jim Cunningham