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.
- Titre
- A proof system for dialogical anaphora resolution
- Créateurs - sans rôle
- Davide Catta - Laboratoire Traitement et Communication de l’InformationRichard Moot - Exploration et exploitation de données textuellesChristian Retoré - Exploration et exploitation de données textuellesSymon Jory Stevens-Guille - The Ohio State University
- Détails de publication
- AI3 2022: Advances in Argumentation in Artificial Intelligence
- Colloque
- AI3 2022 - 5th Workshop on Advances in Argumentation in Artificial Intelligence (Udine, Italy, 28/11/2022–02/12/2022)
- Identifiants
- 9941603809311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
- Champs locaux
- lirmm-03863462