A proof system for dialogical anaphora resolution - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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.

Domaines

Informatique et langage [cs.CL]
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
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Richard Moot  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03863462

Soumis le : lundi 21 novembre 2022-14:10:19

Dernière modification le : jeudi 12 octobre 2023-15:06:04

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : lirmm-03863462 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM CNRS PARISTECH TEXTE LIRMM UNIV-MONTPELLIER LTCI IP_PARIS
29 Consultations
39 Téléchargements

Partager

Gmail Facebook X LinkedIn More