A proof system for dialogical anaphora resolution
Résumé
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
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|