| Game semantics for constructive modal logic M Acclavio, D Catta, L Straßburger International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 11 | 2021 |
| Subset sabotage games & attack graphs D Catta, J Leneutre, V Malvone WOA, 2022 | 5 | 2022 |
| Dialogical argumentation and textual entailment D Catta, R Moot, C Retoré Natural Language Processing in Artificial Intelligence—NLPinAI 2020, 191-226, 2021 | 5 | 2021 |
| Quantifier scoping and semantic preferences D Catta, M Mirzapour Proceedings of the Computing Natural Language Inference Workshop, 2017 | 5 | 2017 |
| Towards a denotational semantics for proofs in constructive modal logic M Acclavio, D Catta, L Straßburger arXiv preprint arXiv:2104.09115, 2021 | 4 | 2021 |
| A game theoretic approach to attack graphs D Catta, A Di Stasio, J Leneutre, V Malvone, A Murano ICAART 2023-15th International Conference on Agents and Artificial …, 2023 | 3 | 2023 |
| Game of grounds D Catta, AP d’Aragona Objects, Structures, and Logics: FilMat Studies in the Philosophy of …, 2012 | 3 | 2012 |
| From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic D Catta Perspectives on Deduction: Contemporary Studies in the Philosophy, History …, 2023 | 2 | 2023 |
| Obstruction logic: A strategic temporal logic to reason about dynamic game models D Catta, J Leneutre, V Malvone ECAI, 2023 | 2 | 2023 |
| Attack Graphs & Subset Sabotage Games D Catta, J Leneutre, V Malvone Intelligenza Artificiale 17 (1), 77-88, 2023 | 2 | 2023 |
| Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution D Catta, SJ Stevens-Guille Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 2 | 2021 |
| Inferential semantics as argumentative dialogues D Catta, L Pellissier, C Retoré Distributed Computing and Artificial Intelligence, Special Sessions, 17th …, 2021 | 2 | 2021 |
| Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. D Catta, R Moot, C Retoré EasyChair Preprint, 2018 | 2 | 2018 |
| Lorenzen-Style Strategies as Proof-Search Strategies M Acclavio, D Catta European Conference on Multi-Agent Systems, 150-166, 2023 | 1 | 2023 |
| A multi-agent game for sentiment analysis D Catta, A Murano, M Parente, S Stranieri Proceedings of IPS, 2023 | 1 | 2023 |
| Reasoning About Dynamic Game Models Using Obstruction Logic (short paper) D Catta, J Leneutre, V Malvone IPS-RCRA-SPIRIT@ AI* IA, 2023 | 1 | 2023 |
| Towards a formal verification of attack graphs D Catta, J Leneutre, V Malvone SPIRIT, 2022 | 1 | 2022 |
| Reasoning about Intuitionistic Computation Tree Logic D Catta, V Malvone, A Murano arXiv preprint arXiv:2310.02355, 2023 | | 2023 |
| Canonicity of Proofs in Constructive Modal Logic M Acclavio, D Catta, F Olimpieri International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | | 2023 |
| Canonicity in Modal Lambda Calculus M Acclavio, D Catta, F Olimpieri arXiv preprint arXiv:2304.05465, 2023 | | 2023 |
