1 |
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
|
|
|
|
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
An inquisitive account of wh-questions through event semantics
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03541222 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Lexical selection, coercion, and record types
|
|
|
|
In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020)
|
|
BASE
|
|
Show details
|
|
4 |
A French Version of the FraCaS Test Suite ; Une version française de la ressource FraCaS
|
|
|
|
In: LREC 2020 - Language Resources and Evaluation Conference ; https://hal.inria.fr/hal-02619239 ; LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9 (2020)
|
|
BASE
|
|
Show details
|
|
5 |
New Progress in Continuation-Based Dynamic Logic
|
|
|
|
In: LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-01939664 ; LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden ; http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428 (2018)
|
|
BASE
|
|
Show details
|
|
6 |
Generalized Quantifiers and Dynamicity — preliminary results —
|
|
|
|
In: QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017 ; https://hal.archives-ouvertes.fr/hal-01651668 ; QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France (2017)
|
|
BASE
|
|
Show details
|
|
7 |
Modularity and compositionality: The case of temporal modifiers
|
|
|
|
In: Semantics and Linguistic Theory; Proceedings of SALT 25; 656-675 ; 2163-5951 (2017)
|
|
BASE
|
|
Show details
|
|
8 |
Modal Subordination in Type Theoretic Dynamic Logic
|
|
|
|
In: ISSN: 1945-3604 ; Linguistic Issues in Language Technology ; https://hal.inria.fr/hal-01370557 ; Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39 ; http://csli-lilt.stanford.edu/ojs/index.php/LiLT/issue/view/7 (2016)
|
|
Abstract:
International audience ; Classical theories of discourse semantics, such as Discourse Representation Theory (DRT), Dynamic Predicate Logic (DPL), predict that an indefinite noun phrase cannot serve as antecedent for an anaphor if the noun phrase is, but the anaphor is not, in the scope of a modal expression. However, this prediction meets with counterexamples. The phenomenon modal subordination is one of them. In general, modal subordination is concerned with more than two modalities, where the modality in subsequent sentences is interpreted in a context 'subordi-nate' to the one created by the first modal expression. In other words, subsequent sentences are interpreted as being conditional on the scenario introduced in the first sentence. One consequence is that the anaphoric potential of indefinites may extend beyond the standard limits of accessibility constraints. This paper aims to give a formal interpretation on modal subordi-nation. The theoretical backbone of the current work is Type Theo-retic Dynamic Logic (TTDL), which is a Montagovian account of discourse semantics. Different from other dynamic theories, TTDL was built on classical mathematical and logical tools, such as-calculus and Church's theory of types. Hence it is completely compositional and does not suffer from the destructive assignment problem. We will review the basic setup of TTDL and then present Kratzer's theory on natural language modality. After that, by integrating the notion of conversation background, in particular, the modal base usage, we offer an extension of TTDL (called Modal-TTDL, or M-TTDL in short) which properly deals with anaphora across modality. The formal relation between Modal-TTDL and TTDL will be discussed as well.
|
|
Keyword:
[INFO]Computer Science [cs]
|
|
URL: https://hal.inria.fr/hal-01370557/file/66-193-1-PB.pdf https://hal.inria.fr/hal-01370557/document https://hal.inria.fr/hal-01370557
|
|
BASE
|
|
Hide details
|
|
9 |
Abstract Categorial Parsing as Linear Logic Programming
|
|
|
|
In: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015) ; https://hal.archives-ouvertes.fr/hal-01188632 ; Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25 (2015)
|
|
BASE
|
|
Show details
|
|
10 |
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
|
|
|
|
In: New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers ; https://hal.inria.fr/hal-00868382 ; Yukiko Nakano and Ken Satoh and Daisuke Bekki. New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, 8417, Springer International Publishing, pp.3-16, 2014, Lecture Notes in Computer Science, 978-3-319-10060-9. ⟨10.1007/978-3-319-10061-6_1⟩ (2014)
|
|
BASE
|
|
Show details
|
|
11 |
A Note on Intensionalization
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-00909207 ; Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. ⟨10.1007/s10849-013-9173-9⟩ ; http://link.springer.com/article/10.1007/s10849-013-9173-9 (2013)
|
|
BASE
|
|
Show details
|
|
12 |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
|
|
|
|
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.inria.fr/inria-00565598 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 106 (2-4), pp.211-231. ⟨10.3233/FI-2011-384⟩ ; http://iospress.metapress.com/content/h212811177456033/ (2011)
|
|
BASE
|
|
Show details
|
|
13 |
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)
|
|
BASE
|
|
Show details
|
|
14 |
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
|
|
|
|
In: Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings ; https://hal.inria.fr/inria-00390490 ; Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, Jun 2009, Tokyo, Japan. pp.182-196, ⟨10.1007/978-3-642-02261-6_15⟩ (2009)
|
|
BASE
|
|
Show details
|
|
15 |
Towards a Montagovian Account of Dynamics
|
|
|
|
In: Semantics and Linguistic Theory; Proceedings of SALT 16; 1-16 ; 2163-5951 (2006)
|
|
BASE
|
|
Show details
|
|
16 |
On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00112956 ; Journal of Logic, Language and Information, Springer Verlag, 2004, 13 (4), pp.421-438. ⟨10.1007/s10849-004-2114-x⟩ (2004)
|
|
BASE
|
|
Show details
|
|
17 |
Towards abstract categorial grammars
|
|
|
|
In: Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter ; https://hal.inria.fr/inria-00100529 ; Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, pp.148-155 (2001)
|
|
BASE
|
|
Show details
|
|
|
|