Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2

Hits 1 – 20 of 26

1	Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
	Maršík, Jirka; Amblard, Maxime; de Groote, Philippe
	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
	Amblard, Maxime; Boritchev, Maria; de Groote, Philippe
	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
	Babonnaud, William; de Groote, Philippe
	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
	Amblard, Maxime; Beysson, Clement; de Groote, Philippe; Guillaume, Bruno; Pogodalla, Sylvain
	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)
	Abstract: International audience ; This paper presents a French version of the FraCaS test suite. This test suite, originally written in English, contains problems illustrating semantic inference in natural language. We describe linguistic choices we had to make when translating the FraCaS test suite in French, and discuss some of the issues that were raised by the translation. We also report an experiment we ran in order to test both the translation and the logical semantics underlying the problems of the test suite. This provides a way of checking formal semanticists' hypotheses against actual semantic capacity of speakers (in the present case, French speakers), and allow us to compare the results we obtained with the ones of similar experiments that have been conducted for other languages.
	Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing; [SCCO.COMP]Cognitive science/Computer science; [SCCO.LING]Cognitive science/Linguistics; French; inference; semantics
	URL: https://hal.inria.fr/hal-02619239/file/Author-french_fracas.pdf https://hal.inria.fr/hal-02619239/document https://hal.inria.fr/hal-02619239
	BASE
	Hide details

5	Proceedings of the 16th Meeting on the Mathematics of Language
	de Groote, Philippe; Drewes, Frank; Penn, Gerald. - : HAL CCSD, 2019. : Association for Computational Linguistics, 2019
	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
	de Groote, Philippe
	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
	Kanazawa, Makoto; de Groote, Philippe; Sadrzadeh, Mehrnoosh. - : HAL CCSD, 2017. : Association for Computational Linguistics, 2017
	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 —
	Beysson, Clement; Blind, Sarah; de Groote, Philippe...
	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
	de Groote, Philippe
	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
	Qian, Sai; De Groote, Philippe; Amblard, Maxime
	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)
	BASE
	Show details

11	Abstract Categorial Parsing as Linear Logic Programming
	De Groote, Philippe
	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
	Danlos, Laurence; De Groote, Philippe; Pogodalla, Sylvain
	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
	Qian, Sai. - 2014
	BASE
	Show details

14	A Note on Intensionalization
	De Groote, Philippe; Kanazawa, Makoto
	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
	Pompigne, Florent. - 2013
	BASE
	Show details

16	Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
	de Groote, Philippe; Nederhof, Mark-Jan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	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
	De Groote, Philippe; Nederhof, Mark-Jan. - : HAL CCSD, 2012. : Springer, 2012
	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
	Lebedeva, Ekaterina. - 2012
	BASE
	Show details

19	Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
	de Groote, Philippe; Egg, Markus; Kallmeyer, Laura. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
	UB Frankfurt Linguistik
	Show details

20	About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
	De Groote, Philippe; Pogodalla, Sylvain; Pollard, Carl
	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

Page: 1 2

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern