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 |
Proceedings of the 16th Meeting on the Mathematics of Language
|
|
|
|
In: https://hal.inria.fr/hal-02268054 ; Philippe de Groote; Frank Drewes; Gerald Penn. Jul 2019, Toronto, Canada. Association for Computational Linguistics, 2019 ; https://www.aclweb.org/anthology/W19-5700 (2019)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
MOL 2017, the 15th Meeting on the Mathematics of Language ; MOL 2017, the 15th Meeting on the Mathematics of Language: Proceedings of the conference
|
|
|
|
In: https://hal.inria.fr/hal-01654605 ; Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Jul 2017, London, United Kingdom. Association for Computational Linguistics, 2017 ; https://aclweb.org/anthology/sigmol.html#2017_0 (2017)
|
|
BASE
|
|
Show details
|
|
8 |
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
|
|
9 |
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
|
|
10 |
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
|
|
11 |
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
|
|
12 |
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
|
|
13 |
Accessibilité des référents en sémantique du discours ; Accessibility of Referents in Discourse Semantics
|
|
|
|
BASE
|
|
Show details
|
|
14 |
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
|
|
15 |
Modélisation logique de la langue et grammaires catégorielles abstraites ; Logic modeling of language and Abstract Categorial Grammars
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
|
|
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
17 |
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
|
|
|
|
In: https://hal.inria.fr/hal-00763203 ; Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩ (2012)
|
|
BASE
|
|
Show details
|
|
18 |
Expression de la dynamique du discours à l'aide de continuations ; Expressing Discourse Dynamics Through Continuations
|
|
|
|
BASE
|
|
Show details
|
|
20 |
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
|
|
|
|