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...
	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
	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
	Abstract: Cette thèse prend ses racines dans la tradition sémantique montagovienne et dynamique standard. L’objet est les conditions dans lesquelles un syntagme nominal peut agir comme antécédent d'une expression anaphorique. Le travail porte sur l'accessibilité des référents de discours dans un système formel de la sémantique dynamique. Le cadre choisi est celui proposé par De Groote, type théorique Dynamic Logic (TTDL) car il fait appel à des outils mathématiques et logiques standards, qui permettent de conserver le principe de compositionnalité. Nous étendons la couverture de la gestion de l’accessibilité des référents dans TTDL à deux cas naturellement problématique pour les théories sémantiques dynamiques classiques, en particulier, l'anaphore sous la double négation et les modalités. Une adaptation est définie pour chaque cas et enfin, l'intégration des différentes solutions est proposée, ce qui montre la souplesse de TTDL. ; This thesis has its roots in the standard Montagovian and dynamic semantic tradition. The subject is conditions under which a noun phrase may act as antecedent of a particular anaphoric expression. The work thesis deals with the accessibility of discourse referents using a formal system of dynamic semantics. The framework used is the one proposed by De Groote, Type Theoretic Dynamic Logic (TTDL) because it follows the Montagovian tradition and only makes use of standard mathematical and logical tools which allows to maintain compositionnality. We extend the coverage of TTDL to cases which are naturally problematic for classical dynamic semantic theories. In particularly, this thesis aims to extend TTDL's coverage of the accessibility of referents to two exceptions of classical dynamic theories, namely anaphora under double negation and modality. An adaptation is defined for each case and finally, an integration of various solutions is proposed, which shows the flexibility of TTDL
	Keyword: 401.43; 410.285; Accessibilité; Accessibility; Anaphora; Anaphore; Discours; Discourse; Dynamic Semantics; Lambda-calcul; Lambda-calculus; Logic; Logique; Modalité; Modality; Montague; Pronom; Pronoun; Référent; Referent; Sémantique Dynamique
	URL: http://docnum.univ-lorraine.fr/public/DDOC_T_2014_0138_QIAN.pdf
	BASE
	Hide 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