LARESE, COSTANZA
LARESE, COSTANZA
Mostra
records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.0 secondi).
Towards More Realistic Models of Logical Reasoning : A Case Study in Paraconsistent Logic
2025 M. D'Agostino, C. Larese, A. Solares-Rojas
Extending Depth-Bounded Reasoning to First-Order Logic
2025 M. D'Agostino, C. Larese, S. Modgil
Depth-bounded Reasoning. Volume 1: Classical Propositional Logic
2024 M. D'Agostino, D. Gabbay, C. Larese, S. Modgil
Advancing the Boundaries of Formal Argumentation: Reflections on the AI3 2021 Special Issue
2023 F.A. D'Asaro, M. D'Agostino, C. Larese
Ricerche aritmetiche
2023 S. Graffi, C. Larese
Hintikka’s conception of syntheticity as the introduction of new individuals
2023 C. Larese
Special Issue: Advances in Argumentation in AI
2023 F.A. D'Asaro, M. D'Agostino, C. Larese
Kant on the analyticity of logic
2022 C. Larese
Ecthesis, constructions and existential instantiation. A Kantian tale
2022 C. Larese
Towards Depth-Bounded Natural Deduction for Classical First-order Logic
2021 M. D'Agostino, C. Larese, S. Modgil
Notes on Hintikka’s Analytic-Synthetic Distinction
2020 C. Larese
Robert Musil: mathematics as the audacity of pure ratio
2015 C. Larese
Robert Musil: la Matematica come audacia della pura ratio
2014 C. Larese