| Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. D Catta, J Leneutre, V Malvone ECAI, 365-372, 2023 | 14 | 2023 |
| Game semantics for constructive modal logic M Acclavio, D Catta, L Straßburger International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 12 | 2021 |
| Subset sabotage games & attack graphs D Catta, J Leneutre, V Malvone WOA 2022-23rd Workshop From Objects to Agents, 2022 | 11 | 2022 |
| Obstruction alternating-time temporal logic: a strategic logic to reason about dynamic models D Catta, J Leneutre, V Malvone, A Murano Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | 9 | 2024 |
| 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 | 9 | 2023 |
| Dialogical argumentation and textual entailment D Catta, R Moot, C Retoré Natural Language Processing in Artificial Intelligence—NLPinAI 2020, 191-226, 2021 | 7 | 2021 |
| Attack graphs & subset sabotage games D Catta, J Leneutre, V Malvone Intelligenza Artificiale 17 (1), 77-88, 2023 | 6 | 2023 |
| Resource action-based bounded ATL: a new logic for mas to express a cost over the actions D Catta, A Ferrando, V Malvone International Conference on Principles and Practice of Multi-Agent Systems …, 2024 | 5 | 2024 |
| Towards a formal verification of attack graphs D Catta, J Leneutre, V Malvone SPIRIT 2022-Workshop on Strategies, Prediction, Interaction, and Reasoning …, 2022 | 5 | 2022 |
| 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 |
| Lorenzen-style strategies as proof-search strategies M Acclavio, D Catta European Conference on Multi-Agent Systems, 150-166, 2023 | 3 | 2023 |
| Game of grounds D Catta, AP d’Aragona Objects, Structures, and Logics: FilMat Studies in the Philosophy of …, 2012 | 3 | 2012 |
| A Formal Verification Approach to Handle Attack Graphs. D Catta, J Leneutre, A Mijatovic, J Ulin, V Malvone ICAART (3), 125-132, 2024 | 2 | 2024 |
| 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 |
| A multi-agent game for sentiment analysis D Catta, A Murano, M Parente, S Stranieri Proceedings of IPS, 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 |
| Reasoning About Dynamic Game Models Using Obstruction Logic D Catta, J Leneutre, V Malvone planning 5 (6), 7-8, 2023 | 1 | 2023 |