• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Lebedeva, Ekaterina (4)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL) (2)
    • De Groote, Philippe (2)
    • INRIA Lorraine (2)
    • Inria Nancy - Grand Est (2)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) (2)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS) (2)
    • Linear logic, proof networks and categorial grammars (CALLIGRAMME) (2)
    • Université de Lorraine (2)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) (1)
    •   more
  • 
    Year:
    
    • 2012 (2)
    • 2010 (2)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (4)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 4 of 4 1 Expressing discourse dynamics through continuations ; Expression de la dynamique du discours à l'aide de continuations Lebedeva, Ekaterina. - : HAL CCSD, 2012 In: https://tel.archives-ouvertes.fr/tel-01749193 ; Computation and Language [cs.CL]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0025⟩ (2012) Abstract: This thesis develops a theoretical formalism of formal semantics of natural language in the spirit of Montague semantics. The developed framework satisfies the principle of compositionality in a simple and elegant way, by being as parsimonious as possible: completely new formalisms or extensions of existing formalisms with even more complex constructions to fit particular linguistic phenomena have been avoided; instead, the framework handles these linguistic phenomena using only basic and well-established formalisms, such as simply-typed lambda calculus and classical logic. Dynamics is achieved by employing a continuation-passing technique and an exception raising and handling mechanism. The context is explicitly represented by a term, and, therefore, can be easily accessed and manipulated. The framework successfully handles cross-sentential anaphora and presuppositions triggered by referring expressions and has potential to be extended for dealing with more complex dynamic phenomena, such as presuppositions triggered by factive verbs and conversational implicatures. Keyword: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; computational linguistics; continuations; conversational implicatures; dynamic semantics; exceptions; Montague semantics; natural language semantics; presuppositions URL: https://tel.archives-ouvertes.fr/tel-01749193v2/file/Thesis-submitted_version.pdf https://tel.archives-ouvertes.fr/tel-01749193 https://tel.archives-ouvertes.fr/tel-01749193v2/document BASE Hide details 2 Expression de la dynamique du discours à l'aide de continuations ; Expressing Discourse Dynamics Through Continuations Lebedeva, Ekaterina. - 2012 BASE Show details 3 Presupposition Accommodation as Exception Handling De Groote, Philippe; Lebedeva, Ekaterina 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) BASE Show details 4 Using Proofs to Compute Implicatures [Abstract] Woltzenlogel Paleo, Bruno; Lebedeva, Ekaterina In: Computability in Europe ; https://hal.archives-ouvertes.fr/hal-00545494 ; Computability in Europe, Jun 2010, Ponta Delgada, Portugal (2010) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 4 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0