A proof system for dialogical anaphora resolution - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2022

A proof system for dialogical anaphora resolution

Abstract

We present a proof-theoretic account of anaphora resolution, namely a sequent calculus corresponding to dialogical games where two players argue to find the reference of some anaphor.
Fichier principal
Vignette du fichier
SCAnaphors.pdf (719.83 Ko) Télécharger le fichier
cc-by.pdf (58.48 Ko) Télécharger le fichier
ceur-ws-logo.pdf (20.48 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Origin Files produced by the author(s)

Dates and versions

lirmm-03863462 , version 1 (21-11-2022)

Licence

Identifiers

  • HAL Id : lirmm-03863462 , version 1

Cite

Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille. A proof system for dialogical anaphora resolution. AI3 2022 - 5th Workshop on Advances in Argumentation in Artificial Intelligence, Nov 2022, Udine, Italy. ⟨lirmm-03863462⟩
41 View
47 Download

Share

More