1 |
Expressing discourse dynamics through continuations ; Expression de la dynamique du discours à l'aide de continuations
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01749193 ; Computation and Language [cs.CL]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0025⟩ (2012)
|
|
BASE
|
|
Show details
|
|
2 |
Expression de la dynamique du discours à l'aide de continuations ; Expressing Discourse Dynamics Through Continuations
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Presupposition Accommodation as Exception Handling
|
|
|
|
In: The 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue - SIGDIAL 2010 ; https://hal.inria.fr/inria-00572852 ; The 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue - SIGDIAL 2010, Sep 2010, Tokyo, Japan. pp.71-74 ; http://www.sigdial.org/workshops/workshop11/proc/pdf/SIGDIAL13.pdf (2010)
|
|
Abstract:
ISBN : 978-1-932432-85-5 ; International audience ; Van der Sandt's algorithm for handling presupposition is based on a “presupposition as anaphora” paradigm and is expressed in the realm of Kamp's DRT. In recent years, we have proposed a typetheoretic rebuilding of DRT that allows Montague's semantics to be combined with discourse dynamics. Here we explore van der Sandt's theory along the line of this formal framework. It then results that presupposition handling may be expressed in a purely Montagovian setting, and that presupposition accommodation amounts to exception handling.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
|
|
URL: https://hal.inria.fr/inria-00572852
|
|
BASE
|
|
Hide details
|
|
4 |
Using Proofs to Compute Implicatures [Abstract]
|
|
|
|
In: Computability in Europe ; https://hal.archives-ouvertes.fr/hal-00545494 ; Computability in Europe, Jun 2010, Ponta Delgada, Portugal (2010)
|
|
BASE
|
|
Show details
|
|
|
|