Davide Catta

According to our database, Davide Catta authored at least 22 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Formal Verification Approach to Handle Attack Graphs.

Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models.

Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic.

Davide Catta

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023

Attack Graphs & Subset Sabotage Games.

Davide Catta, Jean Leneutre, Vadim Malvone

Intelligenza Artificiale, 2023

Reasoning about Intuitionistic Computation Tree Logic.

Davide Catta, Vadim Malvone, Aniello Murano

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

Canonicity in Modal Lambda Calculus.

Matteo Acclavio, Davide Catta, Federico Olimpieri

CoRR, 2023

Canonicity of Proofs in Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Federico Olimpieri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.

Davide Catta, Angelo Ferrando, Vadim Malvone

Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023

A Game Theoretic Approach to Attack Graphs.

Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Lorenzen-Style Strategies as Proof-Search Strategies.

Matteo Acclavio, Davide Catta

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models.

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper).

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the the Italian Workshop on Planning and Scheduling, 2023

2022

Subset sabotage games & attack graphs.

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

A Proof System for Dialogical Anaphora Resolution.

Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

Towards a Formal Verification of Attack Graphs.

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

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

PhD thesis, 2021

Towards a Denotational Semantics for Proofs in Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Lutz Straßburger

CoRR, 2021

Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution.

Davide Catta, Symon Jory Stevens-Guille

Proceedings of the Logic, Language, Information, and Computation, 2021

Game Semantics for Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Lutz Straßburger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Logical Semantics, Dialogical Argumentation, and Textual Entailment.

Davide Catta, Richard Moot, Christian Retoré

CoRR, 2020

Inferential Semantics as Argumentative Dialogues.

Davide Catta, Luc Pellissier, Christian Retoré

Proceedings of the Distributed Computing and Artificial Intelligence, 2020

2019

N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp.

Davide Catta

Bull. Symb. Log., 2019