Davide Catta

36 papers A* 3A 4B 3C 3Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
IMITATOR4AMAS: Strategy Synthesis for STCTL.
CoRR
Davide Catta, Adrien Lacroix, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2026 J jnl
On Angels and Demons: Strategic (De)Construction of Dynamic Models.
CoRR
Davide Catta, Rustam Galimullin, Munyque Mittelmann
2025 J jnl
A formal approach to attack graphs.
Ann. Math. Artif. Intell.
Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
2025 A conf
Agreement Games in Multi-Agent Systems.
AAMAS
Davide Catta, Angelo Ferrando, Vadim Malvone
2025 A* conf
An Intuitionistic Version of Alternating-Time Temporal Logic.
KR
Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano
2025 A* conf
Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions.
IJCAI
Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz
2025 A* conf
First-Order Coalition Logic.
IJCAI
Davide Catta, Rustam Galimullin, Aniello Murano
2025 J jnl
First-Order Coalition Logic.
CoRR
Davide Catta, Rustam Galimullin, Aniello Murano
2025 — conf
Formal Models are Magic.
PNSE/ATAED/PeNGE@PETRI NETS
Davide Catta, Wojciech Penczek, Laure Petrucci
2025 J jnl
Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies.
J. Artif. Intell. Res.
Davide Catta, Angelo Ferrando, Vadim Malvone
2025 A conf
Runtime Verification with Rational Multi-Monitors.
ECAI
Davide Catta, Angelo Ferrando, Vadim Malvone
2024 — conf
A Formal Verification Approach to Handle Attack Graphs.
ICAART (3)
Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone
2024 — ch.
From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic.
Perspectives on Deduction
Davide Catta
2024 A conf
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models.
AAMAS
Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
2024 B conf
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions.
PRIMA
Davide Catta, Angelo Ferrando, Vadim Malvone
2024 — conf
Temporal (Non-)Paradox: Yablo's Sequences in LTL over Finite Traces (short paper).
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Michal Tomasz Godziszewski, Davide Catta, Aniello Murano
2024 C conf
Temporal Truth in the Limit: Yablo's Paradox in LTL
EUMAS
Michal Tomasz Godziszewski, Davide Catta, Aniello Murano
2023 — conf
A Game Theoretic Approach to Attack Graphs.
ICAART (1)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
2023 J jnl
Attack Graphs & Subset Sabotage Games.
Intelligenza Artificiale
Davide Catta, Jean Leneutre, Vadim Malvone
2023 J jnl
Canonicity in Modal Lambda Calculus.
CoRR
Matteo Acclavio, Davide Catta, Federico Olimpieri
2023 B conf
Canonicity of Proofs in Constructive Modal Logic.
TABLEAUX
Matteo Acclavio, Davide Catta, Federico Olimpieri
2023 — conf
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.
ICAART (Revised Selected Paper)
Davide Catta, Angelo Ferrando, Vadim Malvone
2023 C conf
Lorenzen-Style Strategies as Proof-Search Strategies.
EUMAS
Matteo Acclavio, Davide Catta
2023 A conf
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models.
ECAI
Davide Catta, Jean Leneutre, Vadim Malvone
2023 — conf
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper).
IPS-RCRA-SPIRIT@AI*IA
Davide Catta, Jean Leneutre, Vadim Malvone
2023 — conf
Reasoning about Intuitionistic Computation Tree Logic.
AREA@ECAI
Davide Catta, Vadim Malvone, Aniello Murano
2022 — conf
A Proof System for Dialogical Anaphora Resolution.
AI³@AI*IA
Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille
2022 — conf
Subset sabotage games & attack graphs.
WOA
Davide Catta, Jean Leneutre, Vadim Malvone
2022 — conf
Towards a Formal Verification of Attack Graphs.
IPS/RiCeRcA/SPIRIT@AI*IA
Davide Catta, Jean Leneutre, Vadim Malvone
2021 B conf
Game Semantics for Constructive Modal Logic.
TABLEAUX
Matteo Acclavio, Davide Catta, Lutz Straßburger
2021 — —
Les preuves vues comme des jeux et réciproquement: sémantique dialogique de langages naturel ou logiques. (Proofs as games and games as proofs: dialogical semantics of logical and natural languages).
Davide Catta
2021 C conf
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution.
WoLLIC
Davide Catta, Symon Jory Stevens-Guille
2021 J jnl
Towards a Denotational Semantics for Proofs in Constructive Modal Logic.
CoRR
Matteo Acclavio, Davide Catta, Lutz Straßburger
2020 — conf
Inferential Semantics as Argumentative Dialogues.
DCAI (Special Sessions)
Davide Catta, Luc Pellissier, Christian Retoré
2020 J jnl
Logical Semantics, Dialogical Argumentation, and Textual Entailment.
CoRR
Davide Catta, Richard Moot, Christian Retoré
2019 J jnl
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp.
Bull. Symb. Log.
Davide Catta