Davide Catta

Orcid: 0000-0001-8656-3274

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Formal Verification Approach to Handle Attack Graphs.
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.
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.
Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023
Attack Graphs & Subset Sabotage Games.
Intelligenza Artificiale, 2023

Reasoning about Intuitionistic Computation Tree Logic.
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

Canonicity in Modal Lambda Calculus.
CoRR, 2023

Canonicity of Proofs in Constructive Modal Logic.
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.
Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023

A Game Theoretic Approach to Attack Graphs.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Lorenzen-Style Strategies as Proof-Search Strategies.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models.
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).
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023

2022
Subset sabotage games & attack graphs.
Proceedings of the 23rd Workshop "From Objects to Agents", 2022

A Proof System for Dialogical Anaphora Resolution.
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.
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).
PhD thesis, 2021

Towards a Denotational Semantics for Proofs in Constructive Modal Logic.
CoRR, 2021

Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution.
Proceedings of the Logic, Language, Information, and Computation, 2021

Game Semantics for Constructive Modal Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020
Logical Semantics, Dialogical Argumentation, and Textual Entailment.
CoRR, 2020

Inferential Semantics as Argumentative Dialogues.
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.
Bull. Symb. Log., 2019


  Loading...