Follow
Davide Catta
Davide Catta
Università di Napoli, Federico II
Verified email at telecom-paris.fr
Title
Cited by
Cited by
Year
Game semantics for constructive modal logic
M Acclavio, D Catta, L Straßburger
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
112021
Subset sabotage games & attack graphs
D Catta, J Leneutre, V Malvone
WOA, 2022
72022
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
52023
Dialogical argumentation and textual entailment
D Catta, R Moot, C Retoré
Natural Language Processing in Artificial Intelligence—NLPinAI 2020, 191-226, 2021
52021
Quantifier scoping and semantic preferences
D Catta, M Mirzapour
Proceedings of the Computing Natural Language Inference Workshop, 2017
52017
Towards a denotational semantics for proofs in constructive modal logic
M Acclavio, D Catta, L Straßburger
arXiv preprint arXiv:2104.09115, 2021
42021
Obstruction logic: A strategic temporal logic to reason about dynamic game models
D Catta, J Leneutre, V Malvone
ECAI, 2023
32023
Attack Graphs & Subset Sabotage Games
D Catta, J Leneutre, V Malvone
Intelligenza Artificiale 17 (1), 77-88, 2023
32023
Game of grounds
D Catta, AP d’Aragona
Objects, Structures, and Logics: FilMat Studies in the Philosophy of …, 2012
32012
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
22023
Towards a formal verification of attack graphs
D Catta, J Leneutre, V Malvone
SPIRIT, 2022
22022
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
22021
Inferential semantics as argumentative dialogues
D Catta, L Pellissier, C Retoré
Distributed Computing and Artificial Intelligence, Special Sessions, 17th …, 2021
22021
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
22018
Lorenzen-Style Strategies as Proof-Search Strategies
M Acclavio, D Catta
European Conference on Multi-Agent Systems, 150-166, 2023
12023
A multi-agent game for sentiment analysis
D Catta, A Murano, M Parente, S Stranieri
Proceedings of IPS, 2023
12023
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)
D Catta, J Leneutre, V Malvone
IPS-RCRA-SPIRIT@ AI* IA, 2023
12023
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
2024
A Formal Verification Approach to Handle Attack Graphs.
D Catta, J Leneutre, A Mijatovic, J Ulin, V Malvone
ICAART (3), 125-132, 2024
2024
Reasoning about Intuitionistic Computation Tree Logic
D Catta, V Malvone, A Murano
arXiv preprint arXiv:2310.02355, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20