Davide Catta

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Anaphora Resolution

Top Venues

Bull. Symb. Log.

Publications

Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS (2024)
Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone
A Formal Verification Approach to Handle Attack Graphs. ICAART (3) (2024)
Davide Catta, Jean Leneutre, Vadim Malvone
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity of Proofs in Constructive Modal Logic. TABLEAUX (2023)
Davide Catta, Angelo Ferrando, Vadim Malvone
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. ICAART (Revised Selected Paper) (2023)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
A Game Theoretic Approach to Attack Graphs. ICAART (1) (2023)
Matteo Acclavio, Davide Catta
Lorenzen-Style Strategies as Proof-Search Strategies. EUMAS (2023)
Matteo Acclavio, Davide Catta, Federico Olimpieri
Canonicity in Modal Lambda Calculus. CoRR (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI (2023)
Davide Catta, Vadim Malvone, Aniello Murano
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale 17 (1) (2023)
Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille
A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA (2022)
Davide Catta, Jean Leneutre, Vadim Malvone
Subset sabotage games & attack graphs. WOA (2022)
Davide Catta, Jean Leneutre, Vadim Malvone
Towards a Formal Verification of Attack Graphs. IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Matteo Acclavio, Davide Catta, Lutz Straßburger
Towards a Denotational Semantics for Proofs in Constructive Modal Logic. CoRR (2021)
Davide Catta, Symon Jory Stevens-Guille
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. WoLLIC (2021)
Matteo Acclavio, Davide Catta, Lutz Straßburger
Game Semantics for Constructive Modal Logic. TABLEAUX (2021)
Davide Catta, Richard Moot, Christian Retoré
Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR (2020)
Davide Catta, Luc Pellissier, Christian Retoré
Inferential Semantics as Argumentative Dialogues. DCAI (Special Sessions) (2020)
Davide Catta
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp. Bull. Symb. Log. 25 (3) (2019)