More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Davide Catta

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/CattaLMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/CattaLMM24
Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano:
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS 2024: 271-280
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/CattaLMUM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/CattaLMUM24
Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone:
A Formal Verification Approach to Handle Attack Graphs. ICAART (3) 2024: 125-132
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/CattaFM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/CattaFM24
Davide Catta, Angelo Ferrando, Vadim Malvone:
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. PRIMA 2024: 206-223
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/24/Catta24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/24/Catta24
Davide Catta:
From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic. Perspectives on Deduction 2024: 397-424
2023
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/CattaLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/CattaLM23
Davide Catta, Jean Leneutre, Vadim Malvone:
Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale 17(1): 77-88 (2023)
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/CattaLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CattaLM23
Davide Catta, Jean Leneutre, Vadim Malvone:
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA 2023
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/CattaLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/CattaLM23
Davide Catta, Jean Leneutre, Vadim Malvone:
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI 2023: 365-372
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/AcclavioC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/AcclavioC23
Matteo Acclavio, Davide Catta:
Lorenzen-Style Strategies as Proof-Search Strategies. EUMAS 2023: 150-166
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/CattaFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/CattaFM23
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: 72-94
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Catta0LMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Catta0LMM23
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano:
A Game Theoretic Approach to Attack Graphs. ICAART (1) 2023: 347-354
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tableaux/AcclavioCO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/AcclavioCO23
Matteo Acclavio, Davide Catta, Federico Olimpieri:
Canonicity of Proofs in Constructive Modal Logic. TABLEAUX 2023: 342-363
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-02355
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-02355
Davide Catta, Vadim Malvone, Aniello Murano:
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI 2023: 42-48
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-05465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-05465
Matteo Acclavio, Davide Catta, Federico Olimpieri:
Canonicity in Modal Lambda Calculus. CoRR abs/2304.05465 (2023)
2022
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/CattaLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CattaLM22
Davide Catta, Jean Leneutre, Vadim Malvone:
Towards a Formal Verification of Attack Graphs. IPS/RiCeRcA/SPIRIT@AI*IA 2022
[c5]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/CattaMRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CattaMRS22
Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille:
A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA 2022
[c4]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/woa/CattaLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/CattaLM22
Davide Catta, Jean Leneutre, Vadim Malvone:
Subset sabotage games & attack graphs. WOA 2022: 209-218
2021
[b1]
- view
- export record
  dblp key:
  - phd/hal/Catta21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Catta21
Davide Catta:
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). University of Montpellier, France, 2021
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/AcclavioCS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/AcclavioCS21
Matteo Acclavio, Davide Catta, Lutz Straßburger:
Game Semantics for Constructive Modal Logic. TABLEAUX 2021: 428-445
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/CattaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/CattaS21
Davide Catta, Symon Jory Stevens-Guille:
Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution. WoLLIC 2021: 269-286
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-09115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-09115
Matteo Acclavio, Davide Catta, Lutz Straßburger:
Towards a Denotational Semantics for Proofs in Constructive Modal Logic. CoRR abs/2104.09115 (2021)
2020
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dcai/CattaPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcai/CattaPR20
Davide Catta, Luc Pellissier, Christian Retoré:
Inferential Semantics as Argumentative Dialogues. DCAI (Special Sessions) 2020: 72-81
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-07138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-07138
Davide Catta, Richard Moot, Christian Retoré:
Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR abs/2008.07138 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Catta19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Catta19
Davide Catta:
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp. Bull. Symb. Log. 25(3): 360-362 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.