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
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) |
---|