Publications

(It includes the publications of the former Calligramme team.)

Publications HAL du labo/EPI SEMAGRAMME ; CALLIGRAMME

2019

auteur
Timothée Bernard
titre
Approches formelles de l’analyse du discours
article
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02150106/file/these.pdf BibTex
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
Improving Surface-syntactic Universal Dependencies (SUD): surface-syntactic relations and deep syntactic features
article
TLT 2019 – 18th International Workshop on Treebanks and Linguistic Theories, Aug 2019, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02266003/file/SyntaxFest-2019_paper_75.pdf BibTex
auteur
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla
titre
Formal Grammar
article
Raffaella Bernardi; Greg Kobele; Sylvain Pogodalla. FG 2019 – 24th International Conference on Formal Grammar, Aug 2019, Riga, Latvia. 11668, Springer, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-59648-7⟩
Accès au bibtex
BibTex
auteur
Bruno Guillaume, Marie‐catherine de Marneffe, Guy Perrier
titre
Conversion et améliorations de corpus du français annotés en Universal Dependencies
article
Traitement Automatique des Langues, ATALA, 2019, 60 (2), pp.71-95
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02267418/file/UD_French.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Leçons de l’annotation linguistique en dépendances de corpus écrits du français
article
Les corpus en sciences humaines et sociales, A paraître
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02267428/file/main.pdf BibTex
auteur
Bruno Guillaume
titre
Graph Matching for Corpora Exploration
article
JLC 2019 – 10èmes Journées Internationales de la Linguistique de corpus, Nov 2019, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02267475/file/gm.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
Discourse coherence – From psychology to linguistics and back again
article
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse – Formal and Conceptual issues of Language, Springer, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02269640/file/MAMMMR_GenerealIntroductionhal.pdf BibTex
auteur
Maxime Amblard, Manuel Rebuschi, Michel Musiol
titre
Corpus et pathologie mentale : particularités dans la constitution et l’analyse d’une ressource
article
Manuel Rebuschi; Christophe Benzitoun. Les corpus en sciences humaines et sociales, Presses Universitaires de Nancy, A paraître
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02269622/file/3_Amblard-Musiol-Rebuschi_def.pdf BibTex
auteur
Maria Boritchev
titre
Thé, café et licornes — Traitement de la structure conversationnelle dans la théorie dynamique des types
article
EJCIM 2019 – École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02071515/file/Expose_EJCIM_MB.pdf BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
A compositional view of questions
article
WiNLP – Widening NLP – ACL Workshop, Jul 2019, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02269603/file/winlp2019.pdf BibTex
auteur
Maxime Amblard, Maria Boritchev, Marta Carletti, Lea Dieudonat, Yiting Tsai
titre
A Taxonomy of Real-Life Questions and Answers in Dialogue
article
SemDial 2019 – LondonLogue – 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02269609/file/main.pdf BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
Picturing Questions and Answers – a formal approach to SLAM
article
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse – Formal and Conceptual issues of Language, Springer, In press, (In)coherence of discourse Formal and Conceptual issues of Language
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02269631/file/slamReviewed2.pdf BibTex
auteur
Maria-Andrea Cruz-Blandón, Gosse Minnema, Aria Nourbakhsh, Maria Boritchev, Maxime Amblard
titre
Toward Dialogue Modeling: A Semantic Annotation Scheme for Questions and Answers
article
LAW XIII 2019 – The 13th Linguistic Annotation Workshop, Aug 2019, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02269613/file/acl2019.pdf BibTex
auteur
Philippe de Groote, Frank Drewes, Gerald Penn
titre
Proceedings of the 16th Meeting on the Mathematics of Language
article
Jul 2019, Toronto, Canada. ⟨Association for Computational Linguistics⟩, 2019
Accès au bibtex
BibTex
auteur
Timothée Bernard
titre
Negation in event semantics with actual and nonactual events
article
ConSOLE 2018 – 26th Conference of the Student Organization of Linguistics in Europe, Feb 2018, London, United Kingdom. pp.350-366
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01931273/file/console26-final-Bernard.pdf BibTex

2018

auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
SUD or Surface-Syntactic Universal Dependencies: An annotation scheme near-isomorphic to UD
article
Universal Dependencies Workshop 2018, Nov 2018, Brussels, Belgium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01930614/file/33_Paper.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
La réécriture de graphes au service de l’annotation de corpus et de l’exploitation de corpus annotés
article
Grammar and Corpora 2018, Nov 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01930651/file/main.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
titre
Application de la réécriture de graphes au traitement automatique des langues
article
ISTE editions, 1, pp.242, 2018, Série Logique, linguistique et informatique, Christian Rétoré, 9781784054762
Accès au bibtex
BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
Coffee or tea? Yes
article
The 22nd workshop on the Semantics and Pragmatics of Dialogue, Laurent Prévot, Magalie Ochs and Benoît Favre, Nov 2018, Aix-en-Provence, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01922137/file/coffee_or_tea.pdf BibTex
auteur
Maxime Amblard
titre
SLAM, un corpus de conversations avec des patients schizophrènes
article
Recherches linguistiques et corpus, séminaire STIH de la Faculté des Lettres de Sorbonne Université, Mar 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01941845/file/Corpus.pdf BibTex
auteur
Annie Foret, Reinhard Muskens, Sylvain Pogodalla
titre
Formal Grammar
article
Jul 2017, Toulouse, France. Lecture Notes in Computer Science, 10686, Springer-Verlag Berlin Heidelberg; Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-56343-4⟩
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Idée reçue : Les algorithmes prennent-ils des décisions ?
article
Interstices, INRIA, 2018
Accès au bibtex
BibTex
auteur
Karën Fort, Bruno Guillaume
titre
Produire des données pour la recherche en jouant aux zombies
article
Interstices, INRIA, 2018
Accès au bibtex
BibTex
auteur
Maria Boritchev
titre
Modeling dialogues in a dynamic theory of types
article
Séminaire des doctorantes et doctorants en informatique, Jun 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01831687/file/Seminaire_MB.pdf BibTex
auteur
Karën Fort, Maxime Amblard
titre
Éthique et traitement automatique des langues
article
Journée éthique et intelligence artificielle, Jul 2018, Nancy, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01827579/file/EthiqueEtIA.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume
titre
Non-size increasing Graph Rewriting for Natural Language Processing
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (08), pp.1451 – 1484. ⟨10.1017/S0960129518000178⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921038/file/grew.pdf BibTex
auteur
Maria Boritchev
titre
Approaching dialogue modeling in a dynamic framework
article
Computer Science [cs]. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01684145/file/MasterThesisMariaBoritchev.pdf BibTex
auteur
Timothée Bernard
titre
Fine-grained discourse structures in continuation semantics
article
SIGDIAL 2018 – 19th Annual Meeting of the Special Interest Group on Discourse and Dialogue, Jul 2018, Melbourne, Australia. pp.296-305
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01801932/file/acl2018.pdf BibTex
auteur
Maxime Amblard
titre
L’informaticien une fiction du traitement de la langue
article
Catherine Allamel-Raffin; Sylvie Allouche; Jean-Luc Gangloff; Vincent Helfrich. Informaticiens et médecins dans la fiction contemporaine. Exploration 3, Néothèque, 2018, 978-2355253522
Accès au bibtex
BibTex
auteur
Karën Fort, Bruno Guillaume, Mathieu Constant, Nicolas Lefèbvre, Yann-Alan Pilatte
titre
Fingers in the Nose”: Evaluating Speakers’ Identification of Multi-Word Expressions Using a Slightly Gamified Crowdsourcing Platform
article
Proceedings of the Joint Workshop on Linguistic Annotation, Multiword Expressions and Constructions (LAW-MWE-CxG-2018), Aug 2018, Santa Fe, United States. pp.207 – 213
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01912706/file/lawmwe_rigormortis.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
titre
Application of Graph Rewriting to Natural Language Processing
article
ISTE Wiley, 1, pp.272, 2018, Logic, Linguistics and Computer Science Set, Christian Rétoré, 1786300966
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
New Progress in Continuation-Based Dynamic Logic
article
LACompLing2018 – Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden
Accès au bibtex
BibTex
auteur
Annie Foret, Greg Kobele, Sylvain Pogodalla
titre
Formal Grammar 2018
article
Annie Foret; Greg Kobele; Sylvain Pogodalla. Aug 2018, Sofia, Bulgaria. 10950, Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-57784-4⟩
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Intelligences Artificielles, Mythes et Ethique
article
Café-débat EKOS, Mar 2018, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01744075/file/Ekos.pdf BibTex
auteur
Timothée Bernard
titre
Continuations as a semantics-pragmatics interface for presuppositions
article
Sinn und Bedeutung (SuB 23), Sep 2018, Barcelona, Spain
Accès au bibtex
BibTex
auteur
Timothée Bernard, Lucas Champollion
titre
Negative events in compositional semantics
article
Semantics and Linguistic Theory (SALT 28), May 2018, Cambridge (MA), United States. pp.512-532
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Formal modelling of dialogue: how words interact (not only in the dictionary!)
article
EMLex lecture series/Séminaire de l’ATILF, Mar 2018, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01941824/file/EMLEX.pdf BibTex
auteur
Maxime Amblard
titre
Question the coherence of dialogical interaction through formalization
article
Journée d’Étude Franco-Tchèque. Linguistique textuelle, linguistique de corpus, Apr 2018, Metz, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01941830/file/JFT-MetzEN.pdf BibTex
auteur
Maxime Amblard
titre
Calculer sur la langue mais qu’y comprendre ?
article
Colloque Cathy Dufour, Nov 2018, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01941846/file/CD-IA-TAL.pdf BibTex
auteur
Timothée Bernard, Lucas Champollion
titre
Negation and distributivity in event semantics
article
Journées Co-distributivité 2018, Feb 2018, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01931268/file/handout.pdf BibTex
auteur
Joakim Nivre, Mitchell Abrams, Željko Agić, Lars Ahrenberg, Lene Antonsen, Maria Jesus Aranzabe, Gashaw Arutie, Masayuki Asahara, Luma Ateyah, Mohammed Attia, Aitziber Atutxa, Liesbeth Augustinus, Elena Badmaeva, Miguel Ballesteros, Esha Banerjee, Sebastian Bank, Verginica Barbu Mititelu, John Bauer, Sandra Bellato, Kepa Bengoetxea, Riyaz Ahmad Bhat, Erica Biagetti, Eckhard Bick, Rogier Blokland, Victoria Bobicev, Carl Börstell, Cristina Bosco, Gosse Bouma, Sam Bowman, Adriane Boyd, Aljoscha Burchardt, Marie Candito, Bernard Caron, Gauthier Caron, Gülşen Cebiroğlu Eryiğit, Giuseppe G. A. Celano, Savas Cetin, Fabricio Chalub, Jinho Choi, Yongseok Cho, Jayeol Chun, Silvie Cinková, Aurélie Collomb, Çağrı Çöltekin, Miriam Connor, Marine Courtin, Elizabeth Davidson, Marie-Catherine Marneffe, Valeria Paiva, Arantza Ilarraza, Carly Dickerson, Peter Dirix, Kaja Dobrovoljc, Timothy Dozat, Kira Droganova, Puneet Dwivedi, Marhaba Eli, Ali Elkahky, Binyam Ephrem, Tomaž Erjavec, Aline Etienne, Richárd Farkas, Hector Fernandez Alcalde, Jennifer Foster, Cláudia Freitas, Katarína Gajdošová, Daniel Galbraith, Marcos Garcia, Moa Gärdenfors, Kim Gerdes, Filip Ginter, Iakes Goenaga, Koldo Gojenola, Memduh Gökırmak, Yoav Goldberg, Xavier Gómez Guinovart, Berta Gonzáles Saavedra, Matias Grioni, Normunds Grūzītis, Bruno Guillaume, Céline Guillot-Barbance, Nizar Habash, Jan Hajič, Jan Hajič Jr., Linh Hà Mỹ, Na-Rae Han, Kim Harris, Dag Haug, Barbora Hladká, Jaroslava Hlaváčová, Florinel Hociung, Petter Hohle, Jena Hwang, Radu Ion, Elena Irimia, Tomáš Jelínek, Anders Johannsen, Fredrik Jørgensen, Hüner Kaşıkara, Sylvain Kahane, Hiroshi Kanayama, Jenna Kanerva, Tolga Kayadelen, Václava Kettnerová, Jesse Kirchner, Natalia Kotsyba, Simon Krek, Sookyoung Kwak, Veronika Laippala, Lorenzo Lambertino, Tatiana Lando, Septina Dian Larasati, Alexei Lavrentiev, John Lee, Phương Lê Hồng, Alessandro Lenci, Saran Lertpradit, Herman Leung, Cheuk Ying Li, Josie Li, Keying Li, Kyungtae Lim, Nikola Ljubešić, Olga Loginova, Olga Lyashevskaya, Teresa Lynn, Vivien Macketanz, Aibek Makazhanov, Michael Mandl, Christopher Manning, Ruli Manurung, Cătălina Mărănduc, David Mareček, Katrin Marheinecke, Hector Martinez Alonso, André Martins, Jan Mašek, Yuji Matsumoto, Ryan Mcdonald, Gustavo Mendonça, Niko Miekka, Anna Missilä, Cătălin Mititelu, Yusuke Miyao, Simonetta Montemagni, Amir More, Laura Moreno Romero, Shinsuke Mori, Bjartur Mortensen, Bohdan Moskalevskyi, Kadri Muischnek, Yugo Murawaki, Kaili Müürisep, Pinkey Nainwani, Juan Ignacio Navarro Horñiacek, Anna Nedoluzhko, Gunta Nešpore-Bērzkalne, Lương Nguyễn Thị, Huyền Nguyễn Thị Minh, Vitaly Nikolaev, Rattima Nitisaroj, Hanna Nurmi, Stina Ojala, Adédayọ̀ Olúòkun, Mai Omura, Petya Osenova, Robert Östling, Lilja Øvrelid, Niko Partanen, Elena Pascual, Marco Passarotti, Agnieszka Patejuk, Siyao Peng, Cenel-Augusto Perez, Guy Perrier, Slav Petrov, Jussi Piitulainen, Emily Pitler, Barbara Plank, Thierry Poibeau, Martin Popel, Lauma Pretkalniņa, Sophie Prévost, Prokopis Prokopidis, Adam Przepiórkowski, Tiina Puolakainen, Sampo Pyysalo, Andriela Rääbis, Alexandre Rademaker, Loganathan Ramasamy, Taraka Rama, Carlos Ramisch, Vinit Ravishankar, Livy Real, Siva Reddy, Georg Rehm, Michael Rießler, Larissa Rinaldi, Laura Rituma, Luisa Rocha, Mykhailo Romanenko, Rudolf Rosa, Davide Rovati, Valentin Roșca, Olga Rudina, Shoval Sadde, Shadi Saleh, Tanja Samardžić, Stephanie Samson, Manuela Sanguinetti, Baiba Saulīte, Yanin Sawanakunanon, Nathan Schneider, Sebastian Schuster, Djamé Seddah, Wolfgang Seeker, Mojgan Seraji, Mo Shen, Atsuko Shimada, Muh Shohibussirri, Dmitry Sichinava, Natalia Silveira, Maria Simi, Radu Simionescu, Katalin Simkó, Mária Šimková, Kiril Simov, Aaron Smith, Isabela Soares-Bastos, Antonio Stella, Milan Straka, Jana Strnadová, Alane Suhr, Umut Sulubacak, Zsolt Szántó, Dima Taji, Yuta Takahashi, Takaaki Tanaka, Isabelle Tellier, Trond Trosterud, Anna Trukhina, Reut Tsarfaty, Francis Tyers, Sumire Uematsu, Zdeňka Urešová, Larraitz Uria, Hans Uszkoreit, Sowmya Vajjala, Daniel Niekerk, Gertjan Noord, Viktor Varga, Veronika Vincze, Lars Wallin, Jonathan North Washington, Seyi Williams, Mats Wirén, Tsegay Woldemariam, Tak-Sum Wong, Chunxiao Yan, Marat M. Yavrumyan, Zhuoran Yu, Zdeněk Žabokrtský, Amir Zeldes, Daniel Zeman, Manying Zhang, Hanzhi Zhu
titre
Universal Dependencies 2.2
article
2018
Accès au bibtex
BibTex

2017

auteur
Clement Beysson, Sarah Blind, Philippe de Groote, Bruno Guillaume
titre
Generalized Quantifiers and Dynamicity — preliminary results —
article
QUAD2017 – QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01651668/file/QUAD2017.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Réflexion sur l’annotation de corpus écrits du français en syntaxe et en sémantique
article
ACor4French – Les corpus annotés du français, Jun 2017, Orléans, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01651753/file/main.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi, Marie-Hélène Pierre, Stefan Jokulsson
titre
(In)Coherence of discourse 4
article
Mar 2017, Nancy, France. Published by the authors, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655957/file/proceedings2017final.pdf BibTex
auteur
Maxime Amblard
titre
A Formal Account of Disorders in Dialogues
article
Seminar of the Centre for Linguistic Theory and Studies in Probability, Nov 2017, University of Gothenburg, Sweden
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Modélisation sémantique de la langue, une mise en pratique
article
SIESTE 2017 – Séminaire d’Informatique pour les Etudiants, Scientifiques, et Tous ceux que l’informatique intéresse à l’ENS Lyon, Feb 2017, Lyon, France. pp.1-77
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Le discours des schizophrènes par la formalisation langagière, interpréter les troubles de la pensée par les troubles du langages
article
2017 – Séminaire C2S, Jun 2017, Reims, France. pp.1-109
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655828/file/Reims.pdf BibTex
auteur
Maxime Amblard
titre
Regard sur « Le temps des algorithmes »
article
Interstices, INRIA, 2017
Accès au bibtex
BibTex
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
titre
Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic
article
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), ⟨10.15398/jlm.v5i2.147⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417853/file/147-1407-1-PB.pdf BibTex
auteur
Sylvain Pogodalla
titre
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars
article
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (3), pp.527-605. ⟨10.15398/jlm.v5i3.193⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242154/file/tag-acg-pogodalla.pdf BibTex
auteur
Maria Boritchev
titre
Grande L3 deviendra mini-chercheuse
article
Séminaire SIESTE, Feb 2017, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01666417/file/SIESTE.pdf BibTex
auteur
Maria Boritchev
titre
On Politics and Argumentation
article
MALOTEC, Mar 2017, Nancy, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01666416/file/Malotec.pdf BibTex
auteur
Clement Beysson
titre
Déterminants et quantificateurs généralisés dynamiques
article
TALN 2017 – Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01651749/file/RECITAL_2017_paper_5.pdf BibTex
auteur
Makoto Kanazawa, Philippe de Groote, Mehrnoosh Sadrzadeh
titre
MOL 2017, the 15th Meeting on the Mathematics of Language
article
Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Jul 2017, London, United Kingdom. ⟨Association for Computational Linguistics⟩, 2017
Accès au bibtex
BibTex
auteur
Timothée Bernard
titre
Une interprétation probabiliste des informations de factivité
article
24ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.69-76
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01560547/file/court.pdf BibTex
auteur
Joakim Nivre, Željko Agić, Lars Ahrenberg, Lene Antonsen, Maria Jesus Aranzabe, Masayuki Asahara, Luma Ateyah, Mohammed Attia, Aitziber Atutxa, Liesbeth Augustinus, Elena Badmaeva, Miguel Ballesteros, Esha Banerjee, Sebastian Bank, Verginica Barbu Mititelu, John Bauer, Kepa Bengoetxea, Riyaz Ahmad Bhat, Eckhard Bick, Victoria Bobicev, Carl Börstell, Cristina Bosco, Gosse Bouma, Sam Bowman, Aljoscha Burchardt, Marie Candito, Gauthier Caron, Gülşen Cebiroğlu Eryiğit, Giuseppe G. A. Celano, Savas Cetin, Fabricio Chalub, Jinho Choi, Silvie Cinková, Çağrı Çöltekin, Miriam Connor, Elizabeth Davidson, Marie‐catherine Marneffe, Valeria Paiva, Arantza Ilarraza, Peter Dirix, Kaja Dobrovoljc, Timothy Dozat, Kira Droganova, Puneet Dwivedi, Marhaba Eli, Ali Elkahky, Tomaž Erjavec, Richárd Farkas, Hector Fernandez Alcalde, Jennifer Foster, Cláudia Freitas, Katarína Gajdošová, Daniel Galbraith, Marcos Garcia, Moa Gärdenfors, Kim Gerdes, Filip Ginter, Iakes Goenaga, Koldo Gojenola, Memduh Gökırmak, Yoav Goldberg, Xavier Gómez Guinovart, Berta Gonzáles Saavedra, Matias Grioni, Normunds Grūzītis, Bruno Guillaume, Nizar Habash, Jan Hajič, Jan Hajič Jr., Linh Hà Mỹ, Kim Harris, Dag Haug, Barbora Hladká, Jaroslava Hlaváčová, Florinel Hociung, Petter Hohle, Radu Ion, Elena Irimia, Tomáš Jelínek, Anders Johannsen, Fredrik Jørgensen, Hüner Kaşıkara, Hiroshi Kanayama, Jenna Kanerva, Tolga Kayadelen, Václava Kettnerová, Jesse Kirchner, Natalia Kotsyba, Simon Krek, Veronika Laippala, Lorenzo Lambertino, Tatiana Lando, John Lee, Phương Lê Hồng, Alessandro Lenci, Saran Lertpradit, Herman Leung, Cheuk Ying Li, Josie Li, Keying Li, Nikola Ljubešić, Olga Loginova, Olga Lyashevskaya, Teresa Lynn, Vivien Macketanz, Aibek Makazhanov, Michael Mandl, Christopher Manning, Cătălina Mărănduc, David Mareček, Katrin Marheinecke, Héctor Martínez Alonso, André Martins, Jan Mašek, Yuji Matsumoto, Ryan Mcdonald, Gustavo Mendonça, Niko Miekka, Anna Missilä, Cătălin Mititelu, Yusuke Miyao, Simonetta Montemagni, Amir More, Laura Moreno Romero, Shinsuke Mori, Bohdan Moskalevskyi, Kadri Muischnek, Kaili Müürisep, Pinkey Nainwani, Anna Nedoluzhko, Gunta Nešpore‐bērzkalne, Lương Nguyễn Thị, Huyền Nguyễn Thị Minh, Vitaly Nikolaev, Hanna Nurmi, Stina Ojala, Petya Osenova, Robert Östling, Lilja Øvrelid, Elena Pascual, Marco Passarotti, Cenel‐augusto Perez, Guy Perrier, Slav Petrov, Jussi Piitulainen, Emily Pitler, Barbara Plank, Martin Popel, Lauma Pretkalniņa, Prokopis Prokopidis, Tiina Puolakainen, Sampo Pyysalo, Alexandre Rademaker, Loganathan Ramasamy, Taraka Rama, Vinit Ravishankar, Livy Real, Siva Reddy, Georg Rehm, Larissa Rinaldi, Laura Rituma, Mykhailo Romanenko, Rudolf Rosa, Davide Rovati, Benoît Sagot, Shadi Saleh, Tanja Samardžić, Manuela Sanguinetti, Baiba Saulīte, Sebastian Schuster, Djamé Seddah, Wolfgang Seeker, Mojgan Seraji, Mo Shen, Atsuko Shimada, Dmitry Sichinava, Natalia Silveira, Maria Simi, Radu Simionescu, Katalin Simkó, Mária Šimková, Kiril Simov, Aaron Smith, Antonio Stella, Milan Straka, Jana Strnadová, Alane Suhr, Umut Sulubacak, Zsolt Szántó, Dima Taji, Takaaki Tanaka, Trond Trosterud, Anna Trukhina, Reut Tsarfaty, Francis Tyers, Sumire Uematsu, Zdeňka Urešová, Larraitz Uria, Hans Uszkoreit, Sowmya Vajjala, Daniel Niekerk, Gertjan Noord, Viktor Varga, Éric Villemonte de la Clergerie, Veronika Vincze, Lars Wallin, Jonathan North Washington, Mats Wirén, Tak‐sum Wong, Zhuoran Yu, Zdeněk Žabokrtský, Amir Zeldes, Daniel Zeman, Hanzhi Zhu
titre
Universal Dependencies 2.1
article
2017
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
Abstract Categorial Grammars as a Model of the Syntax-Semantics Interface for TAG
article
FSMNLP 2017 and TAG+13 conference, Sep 2017, Umeå, Sweden
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583962/file/tag%2B13-tutorial.handout.pdf BibTex
auteur
Marie Candito, Bruno Guillaume, Guy Perrier, Djamé Seddah
titre
Enhanced UD Dependencies with Neutralized Diathesis Alternation
article
Depling 2017 – Fourth International Conference on Dependency Linguistics, Sep 2017, Pisa, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01625466/file/Depling_2017_paper_28-version-finale.pdf BibTex
auteur
Karën Fort, Bruno Guillaume, Nicolas Lefèbvre, Laura Ramírez, Mathilde Regnault, Mary Collins, Oksana Gavrilova, Tanti Kristanti
titre
Vers l’annotation par le jeu de corpus (plus) complexes : le cas de la langue de spécialité
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2017, Orléans, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01583863/file/taln2017_adn.pdf BibTex
auteur
Karën Fort, Bruno Guillaume, Nicolas Lefèbvre
titre
Who wants to play Zombie? A survey of the players on ZOMBILINGO
article
Games4NLP 2017 – Using Games and Gamification for Natural Language Processing, Apr 2017, Valencia, Spain. pp.2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01494043/file/games4nlp_zl.pdf BibTex

2016

auteur
Philippe de Groote
titre
Lambek Categorial Grammars as Abstract Categorial Grammars
article
LENLS 13, Oct 2016, Tokyo, Japan
Accès au bibtex
BibTex
auteur
Sai Qian, Philippe de Groote, Maxime Amblard
titre
Modal Subordination in Type Theoretic Dynamic Logic
article
Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01370557/file/66-193-1-PB.pdf BibTex
auteur
Maxime Amblard
titre
Sémantique : modélisation formelle et interprétation de données empiriques
article
Séminaire ATILF, Oct 2016, Nancy, France. pp.1-150
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Sémantique et discours – de la modélisation à l’interprétation
article
Informatique [cs]. Université de Lorraine (Nancy), 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01415967/file/hdr.pdf BibTex
auteur
Sylvain Pogodalla
titre
Polymnie — Analyse et synthèse avec les Grammaires Catégorielles Abstraites : du lexique au discours
article
Les rencontres du numérique de l’ANR, Nov 2016, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417895/file/Trame-poster-Interagir-comprendre--creer-Espace3.pdf BibTex
auteur
Jirka Maršík, Maxime Amblard
titre
Introducing a Calculus of Effects and Handlers for Natural Language Semantics
article
Formal Grammar 2016, Aug 2016, Bozen-Bolzano, Italy. pp.257–272, ⟨10.1007/978-3-662-53042-9_15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01332762/file/fg2016.pdf BibTex
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
titre
Interfacing Sentential and Discourse TAG-based Grammars
article
Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Jun 2016, Düsseldorf, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01328697/file/dstag-dltag-acg.pdf BibTex
auteur
Bruno Guillaume, Karën Fort, Nicolas Lefèbvre
titre
Crowdsourcing Complex Language Resources: Playing to Annotate Dependency Syntax
article
International Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378980/file/coling2016_zl.pdf BibTex
auteur
Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré
titre
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
article
Maxime Amblard; Philippe de Groote; Sylvain Pogodalla; Christian Retoré. LACL: Logical Aspects of Computational Linguistics, Dec 2016, Nancy, France. 10054, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-53826-5⟩
Accès au bibtex
BibTex
auteur
Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
titre
Formal Grammar
article
Italy. 9804, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, 978-3-662-53041-2. ⟨10.1007/978-3-662-53042-9⟩
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Pour un TAL responsable
article
Traitement Automatique des Langues, ATALA, 2016, 57 (2), pp.21 – 45
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01414145/file/amblardethiquev4.pdf BibTex
auteur
Maxime Amblard
titre
Regard sur « À quoi rêvent les algorithmes »
article
Interstices, INRIA, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01280938/file/Aquoireventlesalgorithmesdef.pdf BibTex
auteur
Maxime Amblard
titre
L’informaticien face au traitement du langage : que peut-on faire et que croit-on que nous faisons ?
article
Séminaire 2015/2016 « Images du savoir pratique : les figures de l’informaticien et du médecin dans les récits de fiction populaire contemporains, Feb 2016, Strasbourg, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01280932/file/IRIST_Amblard.pdf BibTex
auteur
Maxime Amblard, Amine Boumaza
titre
Robots umani, avete dunque una realtà
article
Iride, Società Editrice il Mulino, 2016, XXIX (2), pp.287-298. ⟨10.1414/84251⟩
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
ACGTK: un outil de développement et de test pour les grammaires catégorielles abstraites
article
Actes de la 23ème Conférence sur le Traitement Automatique des Langues Naturelles, 31ème Journées d’Études sur la Parole, 18ème Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (JEP-TALN-RECITAL 2016), Jul 2016, Paris, France. pp.1-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01328702/file/acgtk.pdf BibTex
auteur
Aleksandre Maskharashvili
titre
Discourse Modeling with Abstract Categorial Grammars
article
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0195⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01412765/file/DDOC_T_2016_0195_MASKHARASHVILI.pdf BibTex
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
titre
For-Adverbials and Aspectual Interpretation: An LTAG Analysis Using Hybrid Logic and Frame Semantics
article
Christopher Piñón. Articles sélectionnés et révisés du Colloque de Syntaxe et Sémantique à Paris 2015 (CSSP 2015), 11, ⟨CSSP⟩, 2016, Empirical Issues in Syntax and Semantics, 1769-7158
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417847/file/eiss11_kallmeyer-and-osswald-and-pogodalla.pdf BibTex
auteur
Jiří Maršík
titre
Effects and handlers in natural language
article
Computation and Language [cs.CL]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0322⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01417467/file/DDOC_T_2016_0322_MARSIK.pdf BibTex

2015

auteur
Maxime Amblard, Amine Boumaza
titre
Robots humains, avez-donc une réalité ?
article
Marlena Jankowska; Mirosław Pawełczyk; Sylvie Allouche; Marcin Kulawiak. AI: Philosophy, Geoinformatics & Law, IUS PUBLICUM, pp.14, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01188684/file/RobotsAmblardBoumazav2.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
SLAM Schizophrénie et Langage : Analyse et Modélisation
article
Journée de restitution CNRS PEPS HuMaIn, Feb 2015, Paris, France
Accès au bibtex
BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi, Jirka Maršík, Stefan Jokulsson
titre
(In)Coherence of discourse 3
article
Dec 2015, Nancy, France. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655955/file/procedings2015final.pdf BibTex
auteur
Maxime Amblard
titre
Le langage, logique !
article
Conférences Curieuses , Sep 2015, Nancy, France
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Le langage, logique !
article
Colloquium général Leçon 217 semestre XXIX, Oct 2015, Luxembourg, Luxembourg
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
Le langage comme marqueur des troubles du langage et de la pensée
article
séminaire Praxiling, Jun 2015, Montpellier, France
Accès au bibtex
BibTex
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
titre
Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG
article
Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France. pp.158-169
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01145994/file/dstag-acg.pdf BibTex
auteur
Marie Candito, Guy Perrier
titre
Guide d’annotation en dépendances profondes pour le français
article
2015, pp.129
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01249907/file/Sequoia%20-%20guide%20annotation.pdf BibTex
auteur
Guy Perrier, Bruno Guillaume
titre
Frigram: a French Interaction Grammar
article
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, High-level methodologies for grammar engineering, 3 (1), pp.265-316. ⟨10.15398/jlm.v3i1.93⟩
Accès au bibtex
BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Dependency Parsing with Graph Rewriting
article
IWPT 2015, 14th International Conference on Parsing Technologies, 2015, Bilbao, Spain. pp.30-39
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique
article
Traitement Automatique des Langues, ATALA, 2015, 56 (1), pp.91 – 115
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01188669/file/amblardTALV3.pdf BibTex
auteur
Bruno Guillaume
titre
Recherche de motifs de graphe en ligne
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2015, Caen, France. pp.648–649
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01188682/file/grew_web.pdf BibTex
auteur
Jiri Marsik, Maxime Amblard
titre
Pragmatic Side Effects
article
Redrawing Pragmasemantic Borders, Mar 2015, Groningen, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01164729/file/redraw.pdf BibTex
auteur
Philippe de Groote
titre
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
article
Logic, Language, Information, and Computation – 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. pp.109–123
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
On Logical Relations and Conservativity
article
NLCS’15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
Abstract Categorial Parsing as Linear Logic Programming
article
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15–25
Accès au bibtex
BibTex
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
titre
Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
article
The 11th Syntax and Semantics Conference in Paris (CSSP 2015), Oct 2015, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01184872/file/cssp-ltag-hybrid-logic.pdf BibTex
auteur
Laura Kallmeyer, Timm Lichte, Rainer Osswald, Sylvain Pogodalla, Christian Wurm
titre
Quantification in Frame Semantics with Hybrid Logic
article
Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01151641/file/kallmeyer-et-al.pdf BibTex
auteur
Maxime Amblard, Karën Fort, Caroline Demily, Nicolas Franck, Michel Musiol
titre
Analyse lexicale outillée de la parole transcrite de patients schizophrènes
article
Traitement Automatique des Langues, ATALA, 2015, Natural Language Processing and Cognition, 55 (3), pp.91 – 115
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01188677/file/defComLingandCogSci.pdf BibTex

2014

auteur
Maxime Amblard
titre
Quantitative study of linguistic phenomenas as indices of Thought and Language Disorders
article
(In)Coherence du Discours 2, Dec 2014, Nancy, France
Accès au bibtex
BibTex
auteur
Marie Candito, Guy Perrier, Bruno Guillaume, Corentin Ribeyre, Karen Fort, Djamé Seddah, Éric Villemonte de la Clergerie
titre
Deep Syntax Annotation of the Sequoia French Treebank
article
International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969191/file/deep_sequoia.final_with_keywords.pdf BibTex
auteur
Maxime Amblard
titre
Modèle de la langue à l’épreuve du discours chez les schizophrènes
article
séminaire Hôpital Saint-Jacques, Dec 2014, Nantes, France
Accès au bibtex
BibTex
auteur
Maxime Amblard
titre
De la sémantique compositionelle à la modélisation du discours : cadres formel et empirique
article
séminaire LINA, Dec 2014, Nantes, France
Accès au bibtex
BibTex
auteur
Frédéric Béchet, Benoit Favre, Alexis Nasr, Mathieu Morey
titre
Retrieving the syntactic structure of erroneous ASR transcriptions for open-domain Spoken Language Understanding
article
ICASSP2014 – Speech and Language Processing (ICASSP2014 – SLTC), 2014, Florence, Italy
Accès au bibtex
BibTex
auteur
Laurence Danlos, Philippe de Groote, Sylvain Pogodalla
titre
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868382/file/danlos-degroote-pogodalla.pdf BibTex
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
titre
An ACG Analysis of the G-TAG Generation Process
article
Proceedings of the 8th International Natural Language Generation Conference (INLG 2014), Jun 2014, Philadelphia, PA, United States. pp.35-44
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00999595/file/GTAG2014.pdf BibTex
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
titre
Génération de textes : G-TAG revisité avec les Grammaires Catégorielles Abstraites
article
Actes de la 21e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2014), Jul 2014, Marseille, France. pp.161-172
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00999589/file/g-tag-acg.pdf BibTex
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
titre
An ACG View on G-TAG and Its g-Derivation
article
Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings, Jun 2014, Toulouse, France. pp.70-82, ⟨10.1007/978-3-662-43742-1_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00999633/file/LacL2014.pdf BibTex
auteur
Sai Qian
titre
Accessibility of Referents in Discourse Semantics
article
Computation and Language [cs.CL]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0138⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01750993/file/thesis.pdf BibTex
auteur
Mathieu Lafourcade, Karen Fort
titre
Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose
article
LREC: Language Resources and Evaluation Conference, May 2014, Reykjavik, Iceland. pp.1676-1681
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969161/file/Sexit.pdf BibTex
auteur
Alain Couillault, Karen Fort, Gilles Adda, Hugues de Mazancourt
titre
Evaluating Corpora Documentation with regards to the Ethics and Big Data Charter
article
International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969180/file/LRECebdc.pdf BibTex
auteur
Bruno Guillaume, Karen Fort, Guy Perrier, Paul Bedaride
titre
Mapping the Lexique des Verbes du Français (Lexicon of French Verbs) to a NLP Lexicon using Examples
article
International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969184/file/DuboisCharlier.pdf BibTex
auteur
Maxime Amblard, Sylvain Pogodalla
titre
Modeling the Dynamic Effects of Discourse: Principles and Frameworks
article
Manuel Rebuschi and Martine Batt and Gerhard Heinzmann and Franck Lihoreau and Michel Musiol and Alain Trognon. Dialogue, Rationality, and Formalism, 3, Springer, pp.247-282, 2014, Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics. Logic, Argumentation & Reasoning, 978-3-319-03043-2. ⟨10.1007/978-3-319-03044-9_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00737765/file/amblard-pogodalla.pdf BibTex
auteur
Can Baskent
titre
Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094786/file/topologicaldacosta.pdf BibTex
auteur
Jiří Maršík, Maxime Amblard
titre
Algebraic Effects and Handlers in Natural Language Interpretation
article
Natural Language and Computer Science, Valeria de Paiva and Walther Neuper and Pedro Quaresma and Christian Retoré and Lawrence S. Moss and Jordi Saludes, Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079206/file/effects-paper.pdf BibTex
auteur
Karen Fort, Gilles Adda, Benoît Sagot, Joseph Mariani, Alain Couillault
titre
Crowdsourcing for Language Resource Development: Criticisms About Amazon Mechanical Turk Overpowering Use
article
Vetulani, Zygmunt and Mariani, Joseph. Human Language Technology Challenges for Computer Science and Linguistics, 8387, Springer International Publishing, pp.303-314, 2014, Lecture Notes in Computer Science, 978-3-319-08957-7. ⟨10.1007/978-3-319-08958-4_25⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01053047/file/LNAI_AMT_Finale.pdf BibTex
auteur
Karen Fort, Bruno Guillaume, Valentin Stern
titre
ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
article
TALN – Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054395/file/Paper_P-Demo1.6.pdf BibTex
auteur
Maxime Amblard, Karen Fort
titre
Étude quantitative des disfluences dans le discours de schizophrènes : automatiser pour limiter les biais
article
TALN – Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.292-303
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054391/file/Paper_O-S2.1.pdf BibTex
auteur
Valmi Dufour-Lussier, Bruno Guillaume, Guy Perrier
titre
Parsing Coordination Extragrammatically
article
Zygmunt Vetulani; Joseph Mariani. Human Language Technology. Challenges for Computer Science and Linguistics. 5th Language and Technology Conference, LTC 2011, Poznan, Poland, November 25-27, 2011, Revised Selected Papers, 8387, ⟨Springer International Publishing⟩, pp.12, 2014, Lecture Notes in Computer Science (LNCS) series / Lecture Notes in Artificial Intelligence (LNAI) subseries, 978-3-319-08957-7. ⟨10.1007/978-3-319-08958-4_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921033/file/coord.pdf BibTex
auteur
Guy Perrier, Marie Candito, Bruno Guillaume, Corentin Ribeyre, Karen Fort, Djamé Seddah
titre
Un schéma d’annotation en dépendances syntaxiques profondes pour le français
article
TALN – Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.574-579
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054407/file/Paper_P-C.4.pdf BibTex
auteur
Philippe de Groote, Yoad Winter
titre
A type-logical account of quantification in event semantics
article
Logic and Engineering of Natural Language Semantics 11, Nov 2014, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01102261/file/deGroote_Winter.pdf BibTex
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
titre
Using SDRT to analyze pathological conversations. Logicality, rationality and pragmatic deviances
article
Manuel Rebuschi and Martine Batt and Gerhard Heinzmann and Franck Lihoreau and Michel Musiol and Alain Trognon. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism, 3, Springer, pp.343 – 368, 2014, Logic, Argumentation & Reasoning, 978-3-319-03043-2. ⟨10.1007/978-3-319-03044-9_15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00910725/file/DRF_Reb-Amb-Mus814-09.pdf BibTex
auteur
Karen Fort, Bruno Guillaume, Hadrien Chastant
titre
Creating Zombilingo, a Game With A Purpose for dependency syntax annotation
article
Gamification for Information Retrieval (GamifIR’14) Workshop, Apr 2014, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969157/file/4-Fort.pdf BibTex
auteur
Maxime Amblard, Christian Retoré
titre
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
article
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01071642/file/IfCoLogvolume1AmblardRetore.pdf BibTex
auteur
Claire Gardent, Yannick Parmentier, Guy Perrier, Sylvain Schmitz
titre
Lexical Disambiguation in LTAG using Left Context
article
Zygmunt Vetulani; Joseph Mariani. Human Language Technology. Challenges for Computer Science and Linguistics. 5th Language and Technology Conference, LTC 2011, Poznan, Poland, November 25-27, 2011, Revised Selected Papers, 8387, Springer, pp.67-79, 2014, Lecture Notes in Computer Science (LNCS) series / Lecture Notes in Artificial Intelligence (LNAI) subseries, ISBN 978-3-319-08957-7. ⟨10.1007/978-3-319-08958-4_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921246/file/lexical-disambiguation.pdf BibTex
auteur
Gilles Adda, Laurent Besacier, Alain Couillault, Karen Fort, Joseph Mariani, Hugues de Mazancourt
titre
Where the data are coming from?” Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
article
Crowdsourcing and human computation multidisciplinary workshop, CNRS, Sep 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01078045/file/charter.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Supertagging with Constraints
article
Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraint and Language, Cambridge Scholar Publishing, pp.253-297, 2014
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
FRIGRAM: a French Interaction Grammar
article
[Research Report] RR-8323, INRIA Nancy; INRIA. 2014, pp.257
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00840254/file/rr-frigram.pdf BibTex
auteur
Maxime Amblard, Karën Fort, Michel Musiol, Manuel Rebuschi
titre
L’impossibilité de l’anonymat dans le cadre de l’analyse du discours
article
Journée ATALA éthique et TAL, Nov 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079308/file/JEEthicsAmblardvlong.pdf BibTex
auteur
Can Baskent
titre
Some Non-Classical Approaches to the Branderburger-Keisler Paradox
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094784/file/gameparadox.pdf BibTex
auteur
Can Baskent
titre
Public Announcements, Topology and Paraconsistency
article
Informal Proceedings of LOFT Conference 2014, Jul 2014, Bregen, Norway
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094782/file/paraconsistentPAL-loft.pdf BibTex
auteur
Can Baskent
titre
Which Society, Which Software?
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094785/file/socialsoftware.pdf BibTex
auteur
Can Baskent
titre
Inquiry, Refutations and the Inconsistent
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094783/file/lakatoshintikka.pdf BibTex

2013

auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
titre
Schizophrénie, logicité et compréhension en première personne
article
L’Évolution Psychiatrique, Elsevier, 2013, 78 (1), pp.127-141. ⟨10.1016/j.evopsy.2012.08.014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00869681/file/SchizoLogPPPall.pdf BibTex
auteur
Aleksandre Maskharashvili, Sylvain Pogodalla
titre
Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar Perspective
article
Proceedings of the Sixth International Joint Conference on Natural Language Processing (IJCNLP 2013), The Asian Federation of Natural Language Processing, Oct 2013, Nagoya, Japan. pp.1257-1263
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868363/file/tagTOdep.pdf BibTex
auteur
Sai Qian, Maxime Amblard
titre
Accessibility for Plurals in Continuation Semantics
article
Motomura Yoichi; Butler Alastair; Bekki Daisuke. New Frontiers in Artificial Intelligence – JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers., 7856, ⟨Springer International Publishing⟩, pp.53-68, 2013, Lecture Notes in Computer Science, 978-3-642-39931-2. ⟨10.1007/978-3-642-39931-2_5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00762203/file/Accessibility_for_Plurals_in_Continuation_Semantics.pdf BibTex
auteur
Alain Couillault, Karen Fort
titre
Charte Éthique et Big Data : parce que mon corpus le vaut bien !
article
Linguistique, Langues et Parole : Statuts, Usages et Mésusages, Jul 2013, Strasbourg, France. pp.4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00820352/file/CharteColloque_CorpusOutil.pdf BibTex
auteur
Sylvain Pogodalla
titre
Comments to Yao and Zou on: “Hybrid Categorial Type Logics and the Formal Treatment of Chinese
article
Tsinghua Logic Conference, Oct 2013, Beijing, China. pp.269-274
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868241/file/pogodalla.pdf BibTex
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
titre
Interpreting conversations in pathological contexts
article
Investigating semantics: Empirical and philosophical approaches, Oct 2013, Bochum, Germany
Accès au bibtex
BibTex
auteur
Michel Musiol, Maxime Amblard, Manuel Rebuschi
titre
Approche sémantico-formelle des troubles du discours : les conditions de la saisie de leurs aspects pyscholinguistiques
article
27ème Congrès International de Linguistique et de Philologie Romanes, Jul 2013, Nancy, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00910701/file/CongresLingNancyMusAmbReb.pdf BibTex
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
titre
Interpreting conversations in pathological contexts
article
Investigating semantics: Empirical and philosophical approaches, Oct 2013, Bochum, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00910709/file/insemp2013_submission_81.pdf BibTex
auteur
Jiří Maršík, Maxime Amblard
titre
Integration of Multiple Constraints in ACG
article
Logic and Engineering of Natural Language Semantics 10, Oct 2013, Kanagawa, Japan. pp.1-14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00869748/file/lenlspaper.pdf BibTex
auteur
Guy Perrier, Bruno Guillaume
titre
FRIGRAM: a French Interaction Grammar
article
ESSLLI 2013 – Workshop on High-level Methodologies for Grammar Engineering, Université de Düsseldorf, Aug 2013, Düsseldorf, Germany. pp.63-74
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920717/file/main.pdf BibTex
auteur
Guy Perrier, Bruno Guillaume
titre
Leopar: an Interaction Grammar Parser
article
Denys Duchier and Yannick Parmentier. ESSLLI 2013 – Workshop on High-level Methodologies for Grammar Engineering, Aug 2013, Düsseldorf, Germany. pp.121-122, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920728/file/demo.pdf BibTex
auteur
Guy Perrier
titre
Analyse statique des interactions entre structures élémentaires d’une grammaire
article
TALN 2013, Université de Nantes, Jun 2013, Les Sables d’Olonne, France. pp.604-611
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920757/file/main.pdf BibTex
auteur
Florent Pompigne
titre
Modélisation logique de la langue et Grammaires Catégorielles Abstraites
article
Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00921040/file/these.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume
titre
Non-simplifying Graph Rewriting Termination
article
TERMGRAPH, Mar 2013, Rome, Italy. pp.4-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921053/file/termgraph.pdf BibTex
auteur
Maxime Amblard
titre
Real Humans : des machines qui parlent comme des hommes, ou presque…
article
Interstices, INRIA, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281272/file/RealHumans.pdf BibTex
auteur
Bruno Guillaume, Karen Fort
titre
Expériences de formalisation d’un guide d’annotation : vers l’annotation agile assistée
article
20e conférence sur le Traitement Automatique des Langues Naturelles, Jun 2013, Les Sables d’Olonne, France. pp.628–635
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840895/file/aa.pdf BibTex
auteur
Philippe de Groote, Makoto Kanazawa
titre
A Note on Intensionalization
article
Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. ⟨10.1007/s10849-013-9173-9⟩
Accès au bibtex
BibTex

2012

auteur
Sylvain Pogodalla, Florent Pompigne
titre
Controlling Extraction in Abstract Categorial Grammars
article
Philippe de Groote and Mark-Jan Nederhof. Formal Grammar: 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers, 7395, ⟨Springer Berlin Heidelberg⟩, pp.162–177, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-32024-8_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00565629/file/extraction-in-ACG.pdf BibTex
auteur
Karen Fort, Adeline Nazarenko, Sophie Rosset
titre
Modeling the Complexity of Manual Annotation Tasks: a Grid of Analysis
article
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.895–910
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00769631/file/coling2012_Complexity_KF_30102012.pdf BibTex
auteur
Ekaterina Lebedeva
titre
Expressing discourse dynamics through continuations
article
Computation and Language [cs.CL]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0025⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01749193/file/Thesis-submitted_version.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
Schizophrénie et Langage : Analyse et modélisation. De l’utilisation des modèles formels en pragmatique pour la modélisation de discours pathologiques
article
Congrès MSH 2012, Dec 2012, Caen, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00761540/file/congrA_sMSH_AmbMusReb-2012.pdf BibTex
auteur
Yann Mathet, Antoine Widlöcher, Karen Fort, Claire François, Olivier Galibert, Cyril Grouin, Juliette Kahn, Sophie Rosset, Pierre Zweigenbaum
titre
Manual Corpus Annotation: Giving Meaning to the Evaluation Metrics
article
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.809–818
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00769639/file/coling2012_EvalManualAnnotation.pdf BibTex
auteur
Philippe de Groote, Mark-Jan Nederhof
titre
Formal Grammar – 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
article
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⟩
Accès au bibtex
BibTex
auteur
Guy Perrier, Bruno Guillaume
titre
Semantic Annotation of the French Treebank with Modular Graph Rewriting
article
META-RESEARCH Workshop on Advanced Treebanking, LREC 2012 Workshop, META-NET, May 2012, Istanbul, Turkey
Accès au bibtex
BibTex
auteur
Guy Perrier, Bruno Guillaume
titre
Annotation sémantique du French Treebank à l’aide de la réécriture modulaire de graphes
article
Conférence annuelle sur le Traitement Automatique des Langues – TALN’12, ATALA, Jun 2012, Grenoble, France. pp.293-306
Accès au bibtex
BibTex
auteur
Bruno Guillaume, Guillaume Bonfante, Paul Masson, Mathieu Morey, Guy Perrier
titre
Grew : un outil de réécriture de graphes pour le TAL
article
12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN’12), ATALA, Jun 2012, Grenoble, France. pp.1-2
Accès au bibtex
BibTex

2011

auteur
Sai Qian, Maxime Amblard
titre
Event in Compositional Dynamic Semantics
article
6th International Conference on Logical Aspect of Computational Linguistic – LACL 2011, Jun 2011, Montpellier, France. pp.219–234, ⟨10.1007/978-3-642-22221-4_15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00601620/file/Event_in_Compositional_Dynamic_Semantics1.pdf BibTex
auteur
Maxime Amblard
titre
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
article
6th International Conference on Logical Aspect of Computational Linguistic – LACL 2011, Jun 2011, Montpellier, France. pp.1–16, ⟨10.1007/978-3-642-22221-4_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00601621/file/amblardlacl11.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques
article
Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles – TALN 2011, Jun 2011, Montpellier, France. pp.93 – 98
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00601622/file/AmMusiRebtaln11.pdf BibTex
auteur
Nicholas Asher, Sylvain Pogodalla
titre
SDRT and Continuation Semantics
article
Takashi Onada and Daisuke Bekki and Eric McCready. New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers, 6797, Springer Berlin Heidelberg, pp.3-15, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-25655-4_2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00565744/file/asher-pogodalla.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
Folie, conversation et contradictions
article
Le langage comme Action / l’action par le langage, Apr 2011, Grenoble, France
Accès au bibtex
BibTex
auteur
François Lamarche
titre
A new homotopy-theoretic interpretation of Martin-Löf’s identity type.
article
Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai, Bradd Hart and Thomas G. Kucera and Anand Pillay and Philip J. Scott and Robert A. G. Seely, Jun 2011, Montréal, Canada
Accès au bibtex
BibTex
auteur
Claire Gardent, Yannick Parmentier, Guy Perrier, Sylvain Schmitz
titre
Lexical Disambiguation in LTAG using Left Context
article
5th Language & Technology Conference – LTC’11, Nov 2011, Poznań, Poland. pp.395-399
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00629902/file/polarities_LTC-11.pdf BibTex
auteur
Alessio Guglielmi, Lutz Straßburger
titre
A System of Interaction and Structure V: The Exponentials and Splitting
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, pp.1-22. ⟨10.1017/S096012951100003X⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441254/file/NEL-splitting.pdf BibTex
auteur
Philippe de Groote, Markus Egg, Laura Kallmeyer
titre
Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers
article
Philippe de Groote and Markus Egg and Laura Kallmeyer. 5591, Springer, pp.213, 2011, Lecture Notes in Artificial Intelligence, 978-3-642-20168-4. ⟨10.1007/978-3-642-20169-1⟩
Accès au bibtex
BibTex
auteur
Chris Blom, Philippe de Groote, Yoad Winter, Joost Zwarts
titre
Implicit Arguments: Event Modification or Option Type Categories?
article
18th Amsterdam Colloquium on Logic, Language and Meaning, Dec 2011, Amsterdam, Netherlands. pp.240-250, ⟨10.1007/978-3-642-31482-7_25⟩
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
titre
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
article
Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. France. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla, Jean-Philippe Prost
titre
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
article
Sylvain Pogodalla and Jean-Philippe Prost. France. 6736, Springer, pp.283, 2011, Lecture Notes in Computer Science, 978-3-642-22220-7. ⟨10.1007/978-3-642-22221-4⟩
Accès au bibtex
BibTex
auteur
François Lamarche, Novak Novakovic
titre
Frobenius Algebras and Classical Proof Nets
article
Fifth International Conference on Topology, Algebra and Categories in Logic – TACL 2011, Achim Jung and Yde Venema, Jul 2011, Marseille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00620126/file/TACL11.pdf BibTex
auteur
Maxime Amblard
titre
Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages
article
Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, 6700, springer, pp.61–80, 2011, LNCS/LNAI, ⟨10.1007/978-3-642-21490-5_4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00617040/file/articlealainversiondef2PB.pdf BibTex
auteur
Lutz Straßburger, Alessio Guglielmi
titre
A System of Interaction and Structure IV: The Exponentials and Decomposition
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12 (4), pp.23. ⟨10.1145/1970398.1970399⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441214/file/SIS-IV.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Modular Graph Rewriting to Compute Semantics
article
9th International Conference on Computational Semantics – IWCS 2011, Jan 2011, Oxford, United Kingdom. pp.65–74
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579244/file/iwcs.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Enrichissement de structures en dépendances par réécriture de graphes
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France
Accès au bibtex
BibTex
auteur
Sai Qian
titre
Workshop Proposal for Young Researchers’ Roundtable on Spoken Dialogue Systems 2011
article
Young Researchers’ Roundtable on Spoken Dialogue Systems 2011, Jun 2011, Portland, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646845/file/yrrsds11_Sai.pdf BibTex
auteur
Valmi Dufour-Lussier, Bruno Guillaume, Guy Perrier
titre
Parsing Coordination Extragrammatically
article
5th Language & Technology Conference – LTC’11, Nov 2011, Poznan, Poland
Accès au bibtex
BibTex
auteur
Mathieu Morey
titre
Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés
article
Informatique et langage [cs.CL]. Université de Lorraine, 2011. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00640561/file/these-MM.pdf BibTex
auteur
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
titre
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 106 (2-4), pp.211-231. ⟨10.3233/FI-2011-384⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00565598/file/degroote-pogodalla-pollard.pdf BibTex

2010

auteur
Jonathan Marchand, Bruno Guillaume, Guy Perrier
titre
Motifs de graphe pour le calcul de dépendances syntaxiques complètes
article
Conférence sur le Traitement Automatique des Langues Naturelles – TALN’10, Jul 2010, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537103/file/motif_dep.pdf BibTex
auteur
Nicholas Asher, Sylvain Pogodalla
titre
A Montagovian Treatment of Modal Subordination
article
Proceedings of the 20th Semantics and Linguistic Theory conference (SALT 20), Apr 2010, Vancouver, Canada. ⟨10.3765/salt.v20i0.2585⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00565616/file/asher-pogodalla.pdf BibTex
auteur
Sylvain Pogodalla, Pascal Amsili
titre
Actes des Journés Sémantiques et Modélisation 2010
article
Sylvain Pogodalla and Pascal Amsili. France. INRIA Nancy Grand Est, pp.74, 2010
Accès au bibtex
BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
LEOPAR, un analyseur syntaxique pour les grammaires d’interaction
article
Traitement Automatique des Langues Naturelles (TALN), Université de Montréal, Jul 2010, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00568877/file/leopar_TALN_2010.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
titre
Réécriture de graphes de dépendances pour l’interface syntaxe-sémantique
article
Traitement Automatique des Langues Naturelles – TALN 2010, Jul 2010, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00526437/file/dspbc.pdf BibTex
auteur
Maxime Amblard
titre
Calculs de représentations sémantiques et syntaxe générative
article
Editions universitaires europeennes, pp.332, 2010, 978-613-1-51599-6
Accès au bibtex
BibTex
auteur
François Lamarche
titre
Axioms and Models for Concrete Homotopy
article
CT2010 International Category Theory Conference, Bob Rosebrugh, Jun 2010, Genova, Italy
Accès au bibtex
BibTex
auteur
Philippe de Groote, Ekaterina Lebedeva
titre
Presupposition Accommodation as Exception Handling
article
The 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue – SIGDIAL 2010, Sep 2010, Tokyo, Japan. pp.71-74
Accès au bibtex
BibTex
auteur
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
titre
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
article
16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16, 2010, Dakar, Senegal. pp.00-00
Accès au bibtex
BibTex
auteur
Alessio Guglielmi, Tom Gundersen, Lutz Straßburger
titre
Breaking Paths in Atomic Flows for Classical Logic
article
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, Jul 2010, Edinburgh, United Kingdom. pp.284-293, ⟨10.1109/LICS.2010.12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00541076/file/AFII.pdf BibTex
auteur
Bruno Woltzenlogel Paleo, Ekaterina Lebedeva
titre
Using Proofs to Compute Implicatures [Abstract]
article
Computability in Europe, Jun 2010, Ponta Delgada, Portugal
Accès au bibtex
BibTex
auteur
Maxime Amblard, Alain Lecomte, Christian Retoré
titre
Categorial Minimalist Grammar: From Generative Syntax To Logical Form
article
Linguistic Analysis, David R. Willingham, 2010, 36 (1–4), pp.273–306
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00545748/file/ALR_festschrift.pdf BibTex

2009

auteur
Florent Pompigne
titre
Modélisation des mouvements explicites dans les ACG avec le produit dépendant
article
Conférence sur le Traitement Automatique des Langues Naturelles – TALN 2009 – RECITAL, LIPN, Jun 2009, Senlis, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441912/file/recital-article.pdf BibTex
auteur
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
titre
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00390490/file/degroote-pogodalla-pollard.pdf BibTex
auteur
Jonathan Marchand, Bruno Guillaume, Guy Perrier
titre
Analyse en dépendances à l’aide des grammaires d’interaction
article
Conférence sur le Traitement Automatique des Langues Naturelles – TALN’09, Jun 2009, Senlis, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00418366/file/taln09.pdf BibTex
auteur
Guy Perrier, Mathieu Morey, Maxime Amblard
titre
From Semantic Graphs to Logic Formulae
article
[Research Report] 2009, pp.9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00415793/file/PerrierMoreyAmblardEACL09.pdf BibTex
auteur
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
titre
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441213/file/QuasiPolNormDI.pdf BibTex
auteur
Tom Gundersen
titre
A General View of Normalisation through Atomic Flows
article
Mathematics [math]. The University of Bath, 2009. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00441540/file/thesis.pdf BibTex
auteur
François Lamarche
titre
An Interesting Link Between Type Theory and Algebraic topology.
article
SD09 Structures and Deductions 2009, Michel Parigot and Lutz Strassburger, Jul 2009, Bordeaux, France
Accès au bibtex
BibTex
auteur
Mumtaz Ahmad, Serge Burckel, Adam Cichon
titre
Sequential decomposition of operations and compilers optimization
article
[Research Report] RR-7076, INRIA. 2009, pp.91
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00428722/file/RR-7076.pdf BibTex
auteur
Paola Bruscoli, Alessio Guglielmi
titre
On the Proof Complexity of Deep Inference
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (2), pp.34
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441211/file/OnPrComplDI.pdf BibTex
auteur
François Lamarche, Novak Novakovic
titre
Two Denotational Interpretations of Proofs in Classical Logic
article
Structures and Deduction 2009, Jul 2009, Bordeaux, France. pp.117-133
Accès au bibtex
BibTex
auteur
Masood Ghayoomi, Bruno Guillaume
titre
Interaction Grammar for the Persian Language: Noun and Adjectival Phrases
article
Proceedings of the 7th Workshop on Asian Language Resources – ACL-IJCNLP 2009, Jul 2009, Singapore, Singapore. pp.107-114
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440980/file/ALR_IG_for_persian.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
titre
Word Order Constraints for Lexical Disambiguation of Interaction Grammars
article
Workshop on Parsing with Categorial Grammars – ESSLLI, Jul 2009, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440785/file/PCG_word_order_constraints_for_LD.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
titre
Dependency Constraints for Lexical Disambiguation
article
11th International Conference on Parsing Technologies – IWPT’09, Oct 2009, Paris, France. pp.242-253
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440795/file/IWPT_dependency_constraints_for_LD.pdf BibTex
auteur
Guy Perrier
titre
An Interaction Grammar of interrogative and relative clauses in French
article
International Conference Recent Advances in Natural Language Processing – RANLP 2009, Sep 2009, Borovets, Bulgaria. pp.343-348
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441019/file/main-final.pdf BibTex
auteur
Guy Perrier, Bruno Guillaume, Jonathan Marchand
titre
La chaîne d’analyse syntaxique de LEOPAR
article
Journée thématique ATALA “What French parsing systems ?”, ATALA, Oct 2009, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440985/file/ATALA_leopar.pdf BibTex
auteur
Alessio Guglielmi
titre
Personal Portrait of Giorgio Levi
article
Theoretical Computer Science, Elsevier, 2009, 410 (46), pp.4605–4607
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00749297/file/acg-advanced-part-2-esslli-09.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Interaction Grammars
article
Research on Language and Computation, Springer Verlag, 2009, 7 (2-4), pp.171-208. ⟨10.1007/s11168-010-9066-x⟩
Accès au bibtex
BibTex

2008

auteur
Daniel de Carvalho
titre
A Note on Weak Algebraic Theories
article
[Research Report] RR-6643, INRIA. 2008, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00320983/file/RR-6643.pdf BibTex
auteur
Sylvain Schmitz, Joseph Le Roux
titre
Feature Unification in TAG Derivation Trees
article
Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms, Jun 2008, Tübingen, Germany. p. 141-148
Accès au bibtex
https://arxiv.org/pdf/0804.4584 BibTex
auteur
Novak Novakovic
titre
Proof-theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in EL w.r.t. Hybrid TBoxes
article
11th European Conference on Logics in Artificial Intelligence – JELIA 2008, Sep 2008, Dresden, Germany. pp.311-323, ⟨10.1007/978-3-540-87803-2⟩
Accès au bibtex
BibTex
auteur
Franz Baader, Novak Novakovic, Boontawee Suntisrivaraporn
titre
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
article
21st International Workshop on Description Logics – DL 2008, May 2008, Dresden, Germany
Accès au bibtex
BibTex
auteur
Benoît Sagot, Karen Fort, Fabienne Venant
titre
Extension et couplage de ressources syntaxiques et sémantiques sur les adverbes
article
27e Colloque international sur le lexique et la grammaire 2008, Sep 2008, L’Aquila, Italie. pp.0
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00336294/file/SagotFortVenant.pdf BibTex
auteur
Karen Fort, Bruno Guillaume
titre
Sylva : plate-forme de validation multi-niveaux de lexiques
article
Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00336290/file/sylva_TALN08.pdf BibTex
auteur
Bruno Guillaume, Joseph Le Roux, Jonathan Marchand, Guy Perrier, Karën Fort, Jennifer Planul
titre
A Toolchain for Grammarians
article
Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336333/file/coling08.pdf BibTex
auteur
Guy Perrier
titre
From Graphs to Logic for representing the semantics of natural languages
article
[Intern report] 2008, pp.5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00311424/file/semantic_graphs.pdf BibTex
auteur
Daniel de Carvalho
titre
Execution Time of $\lambda$-Terms via Denotational Semantics and Intersection Types
article
[Research Report] RR-6638, INRIA. 2008, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00319822/file/RR-6638.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Interaction Grammars
article
[Research Report] RR-6621, INRIA. 2008, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00288376/file/RR-6621.pdf BibTex
auteur
François Lamarche
titre
Proof Nets for Intuitionistic Linear Logic: Essential Nets
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00347336/file/prfnet1.pdf BibTex
auteur
Sylvain Schmitz, Joseph Le Roux
titre
Calculs d’unification sur les arbres de dérivation TAG
article
TALN’08, 15ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. p. 320–329
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00270922/file/tagunif.pdf BibTex
auteur
Guy Perrier
titre
Désambiguisation lexicale à l’aide d’automates de polarités
article
[Rapport de recherche] 2008, pp.11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00278443/file/automates2008.pdf BibTex
auteur
Sylvain Pogodalla
titre
Exploring a type-theoretic approach to accessibility constraint modelling
article
Journées Sémantiques et Modélisation, Apr 2008, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00281381/file/montague-sdrt.pdf BibTex
auteur
Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco
titre
A semantic measure of the execution time in Linear Logic
article
[Research Report] RR-6441, INRIA. 2008, pp.48
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00206099/file/RR-6441.pdf BibTex
auteur
François Lamarche
titre
Homotopy in Cat via Paths and the Fundamental Groupoid of a Category
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00347424/file/HomotCat.pdf BibTex

2007

auteur
Hassen Ben Zineb
titre
Intégration de la sémantique dans les Grammaires d’Interaction
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00187468/file/master_ben_zineb.pdf BibTex
auteur
Karen Fort, Bruno Guillaume
titre
PrepLex : un lexique des prépositions du français pour l’analyse syntaxique
article
Traitement Automatique des Langues Naturelles – TALN 2007, Jun 2007, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186761/file/prep.pdf BibTex
auteur
Mathieu Morey
titre
Formalisation de la dynamique du langage à travers les grammaires d’interaction
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186754/file/rapport.pdf BibTex
auteur
Sylvain Pogodalla
titre
Ambiguïté de portée et approche fonctionnelle des TAG
article
Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2007), Jun 2007, Toulouse, France. pp.325–334
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00141913/file/pogodalla-taln07.pdf BibTex
auteur
François Lamarche
titre
Exploring the Gap between Linear and Classical Logic
article
Theory and Applications of Categories, Mount Allison University, 2007, 18 (17), 473–535 (63 p.)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00113785/file/GapTac.pdf BibTex
auteur
Guy Perrier
titre
Une grammaire d’interaction du français
article
Traitement Automatique des Langues Naturelles – TALN 2007, CLLE-ERSS & IRIT, Jun 2007, Toulouse, France. pp.453-462
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184102/file/main.pdf BibTex
auteur
Philippe de Groote, Sarah Maarek
titre
Type-theoretic extensions of Abstract Categorial Grammars
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00187759/file/paper.pdf BibTex
auteur
Sylvain Pogodalla
titre
Generalizing a Proof-Theoretic Account of Scope Ambiguity
article
Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7), Jan 2007, Tilburg, Netherlands
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00112898/file/iwcs2007.pdf BibTex
auteur
Philippe de Groote, Sarah Maarek, Ryo Yoshinaka
titre
On two Extensions of Abstract Categorial Grammars
article
14th International Conference on Logic for Programming, Artificial Intel ligence and Reasoning – LPAR 2007, Oct 2007, Yerevan, Armenia. pp.273-287, ⟨10.1007/978-3-540-75560-9_21⟩
Accès au bibtex
BibTex
auteur
Joseph Le Roux
titre
La coordination dans les grammaires d’interaction
article
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine – INPL, 2007. Français. ⟨NNT : 2007INPL063N⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01752899/file/manuscript.pdf BibTex
auteur
Guillaume Bonfante, Joseph Le Roux
titre
INtersection Optimization is NP-Complete
article
Sixth International Workshop on Finite-State Methods and Natural Language Processing – FSMNLP 2007, Sep 2007, Postdam, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00185232/file/intersection.pdf BibTex
auteur
Joseph Le Roux, Guy Perrier
titre
Modélisation de la coordination dans les grammaires d’interaction
article
Traitement Automatique des Langues, Lavoisier (Hermes Science Publications), 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00185237/file/coordtal06.pdf BibTex
auteur
Guy Perrier
titre
A French Interaction Grammar
article
International Conference on Recent Advances in Natural Language Processing – RANLP 2007, IPP & BAS & ACL-Bulgaria, Sep 2007, Borovets, Bulgaria. pp.463-467
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184108/file/perrier.pdf BibTex
auteur
Karen Fort, Bruno Guillaume
titre
PrepLex: a Lexicon of French Prepositions for Parsing
article
4th ACL-SIGSEM Workshop on Prepositions, Jun 2007, Prague, Czech Republic. pp.0
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186777/file/PrepLex_ACLSIGSEM07.pdf BibTex
auteur
Benoît Sagot, Karen Fort
titre
Améliorer un lexique syntaxique à l’aide des tables du Lexique-Grammaire : Adverbes en -ment
article
26e Colloque International sur le Lexique et la grammaire 2007, Oct 2007, Bonifacio, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186779/file/LG07.pdf BibTex
auteur
Maxime Amblard, Christian Retoré
titre
Normalization and sub-formula property for Lambek with product and PCMLL — Partially Commutative Multiplicative Linear Logic
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00941206/file/ambretcietorev.pdf BibTex
auteur
Guillaume Bonfante, Joseph Le Roux
titre
Intersection Optimization is NP Complete
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00146671/file/intersection.pdf BibTex

2006

auteur
Jean-Yves Marion, Jean-Yves Moyen
titre
Heap-size analysis for assembly programs
article
2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00067838/file/main.pdf BibTex
auteur
Romain Péchoux, Jean-Yves Marion, Guillaume Bonfante
titre
A characterization of Alternating log time by first order functional programs
article
13th International Conference on Logic for Programming Artificial Intelligence and Reasoning – LPAR-13, Nov 2006, Phnom Penh/Cambodia
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00110014/file/44.pdf BibTex
auteur
Joseph Le Roux, Guillaume Bonfante, Guy Perrier
titre
Lexical disambiguation with polarities and automata
article
11th International Conference on Implementation and Application of Automata – CIAA 2006, Aug 2006, Taipei/Taiwan
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00113369/file/CIAA071.pdf BibTex
auteur
Claire Gardent, Bruno Guillaume, Guy Perrier, Ingrid Falk
titre
Extraction d’information de sous-catégorisation à partir des tables du LADL
article
Traitement Automatique de la Langue Naturelle – TALN 2006, Apr 2006, Leuven/Belgique
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00103163/file/taln06.pdf BibTex
auteur
Maxime Amblard
titre
Treating the Semantics of French Clitics with Minimalist Grammars
article
The Logic of Variation, Jan 2006, Utrecht, Netherlands
Accès au bibtex
BibTex
auteur
Maxime Amblard, Greg Kobele, Christian Retoré
titre
Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues
article
ARCo, Mar 2006, Bordeaux, France. 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079258/file/AmblardKobeleRetore06.pdf BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
Resource analysis by sup-interpretation
article
Eighth International Symposium on Functional and Logic Programming – FLOPS 2006, Apr 2006, Fuji Susono, Japan. pp.163–176, ⟨10.1007/11737414_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000661/file/fullpaper.pdf BibTex
auteur
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu
titre
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
article
12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS’06, Mar 2006, Vienna/Austria, pp.167-181, ⟨10.1007/11691372_11⟩
Accès au bibtex
BibTex
auteur
Guillaume Bonfante
titre
Some programming languages for LOGSPACE and PTIME
article
11th International Conference on Algebraic Methodology and Software Technology – AMAST’06, Jul 2006, Kuresaare/Estonie
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00105744/file/bonfante.pdf BibTex
auteur
François Lamarche, Lutz Strassburger
titre
From Proof nets to the Free *-Autonomous Categories
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2 (4:3), 44 p. ⟨10.2168/LMCS-2(4:3) 2006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099865/file/FreeStarLMCS.pdf BibTex
auteur
Jonathan Marchand
titre
Algorithme de Earley pour les grammaires d’interaction
article
[Travaux universitaires] 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00114130/file/rapport.pdf BibTex
auteur
Yannick Parmentier, Joseph Le Roux, Benoît Crabbé
titre
XMG – An expressive formalism for describing tree-based grammars
article
11th Conference of the European Chapter of the Association for Computational Linguistics – EACL 2006, Apr 2006, Trento, Italy. pp.103-106
Accès au bibtex
BibTex
auteur
Jean-Yves Marion, Romain Péchoux
titre
Quasi-friendly sup-interpretations
article
8th International Workshop on Logic and Computational Complexity – LCC 2006 – LICS affiliated Workshop, James Royer, Aug 2006, Seattle/Etats-Unis
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00110245/file/lcc2006.pdf BibTex
auteur
Guy Perrier
titre
A French Interaction Grammar
article
Workshop on Large-scale Grammar Development and Grammar Engineering, 2006, Haïfa, Israël, France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00111662/file/haifa06.pdf BibTex
auteur
Maxime Amblard
titre
Treating clitics with minimalist grammars
article
The 11th conference on Formal Grammar, Jul 2006, Malaga, Spain. pp.9–20
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00869660/file/FG06.pdf BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
article
Information and Computation, Elsevier, 2006, 204 (2), pp.210–230
Accès au bibtex
BibTex
auteur
Joseph Le Roux, Benoît Crabbé, Yannick Parmentier
titre
A constraint driven metagrammar
article
The Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), Jul 2006, Sydney, Australia. pp.9-16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00083550/file/principes-tag.pdf BibTex
auteur
Maxime Amblard, Houda Anoun, Alain Lecomte
titre
Ellipse et coordination dans les grammaires de type logique
article
Journées de Sémantique et Modélisation, Mar 2006, Bordeaux, France. pp.13–15
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00869663/file/amblardanounlecomtejsm06HAL.pdf BibTex

2005

auteur
François Lamarche, Lutz Straßburger
titre
Constructing free Boolean categories
article
20th Annual IEEE Symposium on Logic in Computer Science – LICS 2005, May 2005, Chicago/USA, United States. pp.209- 218, ⟨10.1109/LICS.2005.13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00012296/file/FreeBool.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
titre
Quasi-interpretations and small space bounds
article
[Research Report] 2005, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001234/file/A05-R-007.pdf BibTex
auteur
Maxime Amblard
titre
Synchronisation syntaxe-sémantique, des grammaires minimalistes catégorielles (GMC) aux Constraint Languages for Lambda Structures (CLLS)
article
RECITAL, Jun 2005, Dourdan, France. pp.6 – 10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079273/file/amblard.pdf BibTex
auteur
Maxime Amblard
titre
Counting dependencies and Minimalist Grammars
article
Logical Aspects of Computational Linguistics, student session, Apr 2005, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079268/file/lacl05amblard.pdf https://hal.archives-ouvertes.fr/hal-01079268/file/laclmaxeng2.pdf BibTex
auteur
Joseph Le Roux, Yannick Parmentier
titre
The XMG Manual
article
2005, pp.41
Accès au bibtex
BibTex
auteur
Claire Gardent, Bruno Guillaume, Guy Perrier, Ingrid Falk
titre
Extracting subcategorisation information from Maurice Gross’ grammar lexicon
article
Archives of Control Sciences, Polish Academy of Sciences, 2005, pp.289–300
Accès au bibtex
BibTex
auteur
Claire Gardent, Bruno Guillaume, Guy Perrier, Ingrid Falk
titre
Maurice Gross’ grammar lexicon and Natural Language Processing
article
Language and Technology Conference, Apr 2005, Poznan/Pologne
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00103156/file/poznan05.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
titre
Quasi-interpretation: a way to control ressources
article
[Intern report] 2005, pp.35
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
titre
Abstract Detection of Computer Viruses
article
Third Workshop on Applied Semantics – APPSEM’05, Sep 2005, Frauenchiemsee, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00115368/file/APPSEM05.pdf BibTex
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
titre
Toward an abstract computer virology
article
Second International Colloquium on Theoretical Aspects of Computing – ICTAC 2005, Oct 2005, Hanoï/Vietnam, pp.579-593, ⟨10.1007/11560647_38⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00115208/file/ictac05.pdf BibTex
auteur
Denys Duchier, Joseph Le Roux, Yannick Parmentier
titre
XMG : Un Compilateur de Méta-Grammaires Extensible
article
12e Conférence Annuelle sur le Traitement Automatiques des Langues Naturelles – TALN 2005, Jun 2005, Dourdan, France. pp.13-22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000199/file/taln2005.pdf BibTex
auteur
Yannick Parmentier, Joseph Le Roux
titre
XMG: a Multi-formalism Metagrammatical Framework
article
17th European Summer School in Logic, Language and Information – ESSLLI 2005, Aug 2005, Edinburgh/Scotland, United Kingdom. pp._
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001132/file/esslli05-yp-jlr.pdf BibTex
auteur
Matthieu Kaczmarek
titre
Virologie informatique
article
2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00176232/file/kaczmarek.memoire_virologie_informatique.pdf BibTex
auteur
Guy Perrier
titre
La sémantique dans les grammaires d’interaction
article
Traitement Automatique des Langues, Lavoisier (Hermes Science Publications), 2005, 45 (3), pp.123–144
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000275/file/perrier.pdf BibTex
auteur
Claire Gardent, Bruno Guillaume, Ingrid Falk, Guy Perrier
titre
Le lexique-grammaire de M. Gross et le traitement automatique des langues
article
2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000458/file/atala_05_lex_gram.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Interface lexique-grammaire via des structures de traits
article
2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000459/file/atala_05_anchoring.pdf BibTex
auteur
François Lamarche, Lutz Strassburger
titre
Naming Proofs in Classical Propositional Logic
article
2005, pp.434
Accès au bibtex
BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$
article
3rd APPSEM II Workshop – APPSEM’05, Sep 2005, Frauenchiemsee/Germany
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen, Romain Péchoux
titre
Synthesis of Quasi-interpretations
article
Seventh International Workshop on Logic and Computational Complexity – LCC 2005, Jun 2005, Chicago/USA
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000660/file/LCC05.pdf BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Implicit Complexity Over an Arbitrary Structure: Sequential and Parallel Polynomial Time.
article
Journal of Logic and Computation, Oxford University Press (OUP), 2005, 15 (1), pp.41–58
Accès au bibtex
BibTex

2004

auteur
Lutz Strassburger, François Lamarche
titre
On Proof Nets for Multiplicative Linear Logic with Units
article
18th International Workshop on Computer Science Logic – CSL’2004, 2004, Karpacz, Poland, pp.145–159
Accès au bibtex
BibTex
auteur
Benoît Crabbé, Denys Duchier
titre
Metagrammar Redux
article
International Workshop on Constraint Solving and Language Processing – CSLP 2004, Sep 2004, Copenhagen, 16 p
Accès au bibtex
BibTex
auteur
Philippe de Groote, Sylvain Salvati
titre
Higher-order Matching in the Linear lambda-calculus with Pairing
article
18th International Workshop on Computer Science Logic – CSL’2004, Sep 2004, Karpacz, Poland, pp.220-234
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
titre
On complexity analysis by quasi-interpretation
article
2nd Appsem II workshop – APPSEM’04, 2004, Tallinn, Estonia, pp.85-95
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Apprentissage des grammaires catégorielles à partir de structures
article
Conférence Francophone d’Apprentissage – CAp’2004, 2004, Montpellier, France, pp.315-330
Accès au bibtex
BibTex
auteur
Philippe de Groote, Bruno Guillaume, Sylvain Salvati
titre
Vector Addition Tree Automata
article
19th Annual IEEE Symposium on Logic in Computer Science – LICS’04, 2004, Turku, Finland, France. pp.64-73
Accès au bibtex
BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
article
[Intern report] A04-R-300 || bournez04e, 2004, 23 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107811/file/A04-R-300.pdf BibTex
auteur
Sylvain Pogodalla
titre
Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees
article
Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), 2004, Vancouver, BC, Canada. pp.64-71
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107768/file/A04-R-058.pdf BibTex
auteur
Sylvain Pogodalla
titre
Vers un statut de l’arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d’Arbres Adjoints
article
Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2004), 2004, Fès, Maroc. pp.377-386
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107767/file/A04-R-050.pdf BibTex
auteur
Jean-Yves Marion
titre
Resource Analysis by Quasi-Interpretations
article
Sixth International Workshop on Logic and Computational Complexity, Neil Jones, 2004, Turku, Finlande, 95 p
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Learning regular trees with queries
article
Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM’04, 2004, Zakopane, Pologne, pp.181-190
Accès au bibtex
BibTex
auteur
Denys Duchier, Joseph Le Roux, Yannick Parmentier
titre
The MetaGrammar Compiler: An NLP Application with a Multi-paradigm Architecture
article
Second International Mozart/Oz Conference – MOZ 2004, Oct 2004, Charleroi, Belgium. pp.175-187
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Learning Tree Languages from Positive Examples and Membership Queries
article
15th international conference on Algorithmic Learning Theory – ALT’2004, 2004, Padova, Italy, pp.440-453
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Learning Reversible Categorial Grammars from Structures
article
Categorial Grammars, 2004, Montpellier, France, 10 p
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Learning Dependency Languages from a Teacher
article
9th conference on Formal Grammar, 2004, Nancy, France, 7 p
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
Using and Extending the ACG technology: Endowing Categorial Grammars with an Underspecified Semantic Representation
article
Proceedings of the Categorial Grammars Conference, Jun 2004, Montpellier, France. pp.197-209
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00108117/file/A04-R-155.pdf BibTex
auteur
Sylvain Pogodalla, Christian Retoré
titre
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
article
[Research Report] RR-5409, INRIA. 2004, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071248/file/RR-5409.pdf BibTex
auteur
Manuel Bodirsky, Denys Duchier, Joachim Niehren, Sebastian Miele
titre
A New Algorithm for Normal Dominance Constraints
article
ACM-SIAM Symposium on Discrete Algorithms – SODA’2003, Jan 2004, New Orleans, Louisiana, United States. pp.59-67
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536536/file/wndc.pdf BibTex
auteur
Jean-Yves Marion
titre
Editorial : Implicit Computational Complexity (ICC)
article
Theoretical Computer Science, Elsevier, 2004, 318 (1-2), pp.1
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Parsing with polarities
article
Categorial Grammars, Jun 2004, Montpellier/France
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000276/file/cg2004.pdf BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
article
In 2nd APPSEM II Workshop – APPSEM’04, Apr 2004, Tallinn/Estonia
Accès au bibtex
BibTex
auteur
François Lamarche, Lutz Strassburger
titre
Naming Proofs in Classical Propositional Logic
article
[Intern report] A04-R-391 || lamarche04b, 2004, 15 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099866/file/A04-R-391.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
titre
Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation
article
20th Conference on Computational Linguistics – CoLing’2004, 2004, Genève, Suisse, pp.303-309
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099886/file/A04-R-260.pdf BibTex
auteur
Guy Perrier
titre
La sémantique dans les grammaires d’interaction
article
11ième Conférence annuelle sur le Traitement Automatique des Langues Naturelles – TALN’2004, 2004, Fès, Maroc, France. 10 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099887/file/A04-R-259.pdf BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
article
3rd IFIP International Conference on Theoretical Computer Science – TCS’2004, Aug 2004, Toulouse, France, 14 p
Accès au bibtex
BibTex
auteur
Philippe de Groote, Sylvain Pogodalla
titre
On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms
article
Journal of Logic, Language and Information, Springer Verlag, 2004, 13 (4), pp.421-438. ⟨10.1007/s10849-004-2114-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00112956/file/jolli-final.pdf BibTex
auteur
Maxime Amblard, Alain Lecomte, Christian Retoré
titre
Syntax and Semantics interacting in a Minimalist theory
article
Prospect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079278/file/amblecret.pdf BibTex

2003

auteur
Guy Perrier
titre
Semantics for Interaction Grammars
article
Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, Oct 2003, Nancy, France, France. 4 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107707/file/A03-R-309.pdf BibTex
auteur
Philippe de Groote, Sylvain Pogodalla
titre
m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars
article
Proceedings of Eighth Meeting on Mathematics of Language (MOL 8), Jun 2003, Bloomington, Indiana, United States. pp.71-80
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107690/file/A03-R-243.pdf BibTex
auteur
Ralph Debusmann, Denys Duchier
titre
A Meta-Grammatical Framework for Dependency Grammar
article
[Intern report] A03-R-278 || debusmann03a, 2003, 8 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107742/file/A03-R-278.pdf BibTex
auteur
Guy Perrier
titre
Les grammaires d’interaction
article
Informatique et langage [cs.CL]. Université Nancy 2, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01297859/file/hdr_Guy_Perrier.pdf BibTex
auteur
François Lamarche
titre
On the Algebra of Structural Contexts
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2003, 51 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099461/file/A01-R-195.pdf BibTex
auteur
Jean-Yves Marion
titre
Analysing the implicit complexity of programs
article
Information and Computation, Elsevier, 2003, 183, pp.2-18
Accès au bibtex
BibTex
auteur
René David, Bruno Guillaume
titre
Strong Normalization of the Typed lambda_ws-calculus
article
Computer Science Logic’03, Aug 2003, Vienna, Austria. pp.155-168
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/inria-00099580/file/csl_17.pdf BibTex
auteur
Denys Duchier
titre
Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment
article
Theoretical Computer Science, Elsevier, 2003, 293 (2), pp.321-343
Accès au bibtex
BibTex
auteur
Caroline Brun, Marc Dymetman, Eric Fanchon, Stanislas Lhomme, Sylvain Pogodalla
titre
Semantically-based text authoring and the concurrent documentation of experimental protocols
article
ACM Symposium on Document Engineering – DocEng 2003, Nov 2003, Grenoble, France. pp.193-202, ⟨10.1145/958220.958256⟩
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
titre
Analyse syntaxique électrostatique
article
Traitement Automatique des Langues, Lavoisier (Hermes Science Publications), 2003, 44 (3), pp.93-120
Accès au bibtex
BibTex
auteur
Sylvain Salvati, Philippe de Groote
titre
On the complexity of higher-order matching in the linear $\lambda$-calculus
article
International Conference on Rewriting Techniques and Applications – RTA’2003, Jun 2003, Valencia, Spain, pp.234-245
Accès au bibtex
BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
article
Foundations of Software Science and Computation Structures – FOSSACS’03, Apr 2003, Warsaw, Poland, pp.185-199
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Apprentissage des langages réguliers d’arbres et applications
article
Traitement automatique de langues, 2003, 44 (1), pp.121-153
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Apprentissage des langages réguliers d’arbres à l’aide d’un expert
article
Conférence d’Apprentissage – CAP’2003, Jul 2003, Laval, France, 16 p
Accès au bibtex
BibTex
auteur
Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz
titre
The QSL platform at LORIA
article
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099497/file/A03-R-539.pdf BibTex
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
titre
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
article
Fifth International Workshop on Implicit Computational Complexity – ICC’2003, Jun 2003, Ottawa, Canada, 13 p
Accès au bibtex
BibTex
auteur
François Lamarche
titre
Vers une Géométrie Symbolique
article
[Interne] A03-R-423 || lamarche03a, 2003, 8 p
Accès au bibtex
BibTex
auteur
Jean-Yves Marion, Jean-Yves Moyen
titre
Termination and resource analysis of assembly programs by Petri nets
article
[Research Report] A03-R-348 || marion03a, 2003, 13 p
Accès au bibtex
BibTex
auteur
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
titre
An Efficient Graph Algorithm for Dominance Constraints
article
Journal of Algorithms in Cognition, Informatics and Logic, Elsevier, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp.194-219. ⟨10.1016/S0196-6774(03)00050-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536539/file/eff-dom.pdf BibTex
auteur
Denys Duchier
titre
Configuration of Labeled Trees under Lexicalized Constraints and Principles
article
Research on Language and Computation, Springer Verlag, 2003, 1 (3-4), pp.307-336
Accès au bibtex
BibTex

2002

auteur
Richard F. Blute, François Lamarche, Paul Ruet
titre
Entropic Hopf Algebras and Models of Non Commutative Logic
article
Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460
Accès au bibtex
BibTex
auteur
François Lamarche
titre
Multiplicative Linear Logics and Fibrations
article
Category Theory in computer science – CTCS’2002, R Blute, Ph. Scott, Nov 2002, Ottawa, Ontario, Canada, 21 p
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Descriptions d’arbres avec polarités : les Grammaires d’Interaction
article
9ième Conférence annuelle sur le Traitement Automatique des Langues Naturelles – TALN’02, Jun 2002, Nancy, France, France. 10 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107558/file/A02-R-123.pdf BibTex
auteur
Philippe de Groote, François Lamarche
titre
Classical Non Associative Lambek Calculus
article
Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Learning regular tree languages with positive samples and queries
article
[Intern report] A02-R-201 || besombes02a, 2002, 10 p
Accès au bibtex
BibTex
auteur
Olivier Bournez, Paulin de Naurois, Jean-Yves Marion
titre
Safe Recursion and Calculus over an Arbitrary Structure
article
Implicit Computational Complexity – ICC’2002, Jul 2002, Copenhagen, Denmark, 12 p
Accès au bibtex
BibTex
auteur
Serge Grigorieff, Jean-Yves Marion
titre
Kolmogorov complexity and non-determinism
article
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Modular and Hierarchical Organization of Lexicalized Grammars expressible with Tree Descriptions
article
[Intern report] A02-R-061 || perrier02a, Université Nancy 2. 2002, 7 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099425/file/A02-R-061.pdf BibTex

2001

auteur
Jérôme Besombes, Jean-Yves Marion
titre
Une théorie informative de l’apprentissage
article
[Interne] A01-R-014 || besombes01a, 2001, 7 p
Accès au bibtex
BibTex
auteur
René David, Bruno Guillaume
titre
A lambda-calculus with explicit weakening and explicit substitution
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2001, 11 (1), pp.169-206
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00384683/file/mscs.pdf BibTex
auteur
Sylvain Pogodalla
titre
Réseaux de preuve et génération pour les grammaires de types logiques
article
Interface homme-machine [cs.HC]. Institut National Polytechnique de Lorraine – INPL, 2001. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00112982/file/A01-T-422.pdf BibTex
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
titre
On lexicographic termination ordering with space bound certifications
article
International Andrei Ershov Memorial Conference – PSI’01, 2001, Novosibirsk, Russia, pp.482-493
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
Towards abstract categorial grammars
article
Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, pp.148-155
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Philippe de Groote
titre
Stochastic Lambek Categorial Grammars
article
Formal Grammars and Mathematics of Langage Conference – FGMOl’01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
Accès au bibtex
BibTex
auteur
Jérôme Besombes, Jean-Yves Marion
titre
Identification reversible dependency tree languages
article
3rd Learning Language in Logic (LLL) Workshop, L. Popelinsky, M. Nepil, Sep 2001, Strasbourg, France, 12 p
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
Actual arithmetic and feasibility
article
International Workshop on Computer Science Logic – CSl’2001, 2001, Paris, France, pp.115–129
Accès au bibtex
BibTex
auteur
Jean-Yves Moyen
titre
System presentation: An analyser of rewriting system complexity
article
Second International Workshop on Rule-Based Programming – RULE’01, Université de Florence, 2001, Firenze, Italy, 7 p
Accès au bibtex
BibTex
auteur
Philippe de Groote, Glyn Morrill, Christian Retoré
titre
Logical Aspects of Computational Linguistics
article
Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
article
8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning – LPAR 2001, 2001, Havana, Cuba, France. pp.233-248
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, François Lamarche, Thomas Streicher
titre
A model of a dependent linear calculus
article
[Intern report] A01-R-262 || bonfante01c, 2001, 13 p
Accès au bibtex
BibTex
auteur
Jean-Yves Moyen
titre
An Analyser of Rewriting Systems Complexity
article
Workshop on Implicit Computational Complexity, May 2001, Aarhus, Denmark. pp.93-99
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Helene Touzet
titre
Algorithms with Polynomial Interpretation Termination Proof
article
Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (1), pp.33-53
Accès au bibtex
BibTex

2000

auteur
Sylvain Pogodalla
titre
Generation with Semantic Proof Nets
article
[Research Report] RR-3878, INRIA. 2000, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072775/file/RR-3878.pdf BibTex
auteur
Guillaume Bonfante
titre
Complexity characterisation of restrictions of KBO
article
Implicit computational complexity, J.Y. Marion, May 2000, Santa Barbara, US, 12 p
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets
article
Proceedings of the 1st Meeting of the North American Chapter of the Association for Computational Linguistics (NAACL 2000), May 2000, Seattle, Washington, United States. pp.70-77
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099268/file/pogodalla-naacl00.pdf BibTex
auteur
Jérôme Besombes
titre
A space optimal algorithm to solve a problem
article
[Intern report] A00-R-135 || besombes00a, 2000, 5 p
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
Linear higher-order matching is NP-complete
article
International Conference on Rewriting Techniques & Applications – RTA’2000, 2000, Norwich, UK, pp.127-140
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
Proof-search in implicative linear logic as a matching problem
article
International Conference on Logic for Programming & Automated Reasoning – LPAR’2000, 2000, Reunion Island, France, pp.257-274
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
Generation, Lambek Calculus, Montague’s Semantics and Semantic Proof Nets
article
Proceedings of the 18th International Conference on Computational Linguistics (COLING 2000), Aug 2000, Sarrebrück, Germany. pp.628-634
Accès au bibtex
BibTex
auteur
Jean-Yves Marion, Jean-Yves Moyen
titre
Efficient first order functional program interpreter with time bound certifications
article
International Conference on Logic Programming & Automated Reasoning – LPAR’2000, Nov 2000, Reunion Island, France, pp.25-42
Accès au bibtex
BibTex
auteur
François Lamarche
titre
Displacement Games as a model of linear logic
article
[Intern report] A00-R-379 || lamarche00b, 2000, 6 p
Accès au bibtex
BibTex
auteur
Daniel Leivant, Jean-Yves Marion
titre
Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space
article
Information and Computation, Elsevier, 2000, 12 p
Accès au bibtex
BibTex
auteur
Daniel Leivant, Jean-Yves Marion
titre
A characterization of alternating log time by ramified recurrence
article
Theoretical Computer Science, Elsevier, 2000, 236 (1-2), pp.192-208
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
A proof theoretic approach to feasible computation
article
[Interne] A00-R-375 || marion00d, 2000, 17 p
Accès au bibtex
BibTex
auteur
Philippe de Groote, Catherine Pilière
titre
On the semantics of static exception handling
article
[Intern report] A00-R-197 || de_groote00a, 2000, 16 p
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, François Lamarche
titre
A monotone lambda-calculus: the example of ordinal terms
article
[Intern report] A00-R-180 || bonfante00a, 2000, 15 p
Accès au bibtex
BibTex
auteur
Adam Cichon, Jean-Yves Marion
titre
The Light Lexicographic path Ordering
article
Workshop RULE’2000, Sep 2000, Montréal, Canada, 17 p
Accès au bibtex
BibTex
auteur
François Lamarche
titre
Beyond Trees
article
Workshop on Trees – ESSLI 2000, V. Goranko, 2000, Birmingham, UK, 13 p
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Interaction Grammars
article
Proceedings of 18th International Conference on Computational Linguistics – CoLing 2000, International Committee on Computational Linguisitcs, 2000, Sarrebrück/Germany, France. 7 p
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
From Intuitionistic Proof Nets to Interaction Grammars
article
TAG + 5, Université Paris 7, 2000, Paris/France, 9 p
Accès au bibtex
BibTex

1999

auteur
Philippe de Groote
titre
On the Strong Normalisation of Natural Deduction with Permutation-Conversions
article
10th International Conference on Rewriting Techniques & Applications – RTA’99, 1999, Trento, Italy, pp.45–59
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
A dynamic programming approach to categorial deduction
article
16th International Conference on Automated Deduction – CADE-16, 1999, Trento, Italy, pp.1–15
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
article
Logic Journal of the IGPL, Oxford University Press (OUP), 1999, 7 (5), pp.629-654
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
The Non-associative Lambek calculus with product in polynomial time
article
Automatic Reasoning with Analytic Tableaux and Related Methods, Jun 1999, Saratoga Springs, NY USA, pp.128-139
Accès au bibtex
BibTex
auteur
Philippe de Groote, Catherine Pilière
titre
On the semantics of static exception handling
article
[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
Accès au bibtex
BibTex
auteur
Guillaume Bonfante
titre
Complexity characterisation of restrictions of KBO
article
Implicit computational complexity, J.Y. Marion, May 1999, none, 12 p
Accès au bibtex
BibTex
auteur
François Lamarche
titre
Spaces for linguistic representations and the semantics of linear Logic
article
Dagstuhl Seminar 22.08.1999 – 27.08.1999, R. Crouch, J. Van Genabith, V. de Paive, E. Ritter, Aug 1999, none
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
Génération à l’aide de réseaux de preuve sémantiques
article
Génération Automatique de Textes (GAT’99), Université Stendhal, Grenoble 3, 1999, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00740814/file/1999-gat-new.pdf BibTex
auteur
Guy Perrier
titre
A PSPACE-complete fragment of second-order linear logic
article
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.267-289
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices
article
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.157-172
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
article
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.115-134
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
Light Multiset path ordering and Ptime – Two is better than one
article
[Intern report] 99-R-106 || marion99b, 1999, 19 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098750/file/99-R-106.pdf BibTex
auteur
Guillaume Bonfante, François Lamarche
titre
Constructing orders by means of inductive definitions
article
[Intern report] 99-R-035 || bonfante99a, 1999, 15 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098791/file/99-R-035.pdf BibTex
auteur
Guy Perrier
titre
From Intuitionistic Proof Nets to Interaction Grammars
article
[Intern report] 99-R-120 || perrier99b, université Nancy2. 1999, 39 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098793/file/99-R-120.pdf BibTex
auteur
Catherine Pilière
titre
A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
article
12th International Symposium on Fundamentals of Computation Theory – FCT’99, 1999, Iasi, Romania, pp.421-432
Accès au bibtex
BibTex

1998

auteur
Philippe de Groote, Guy Perrier
titre
A note on Kobayashi’s & Yonezawa’s “Asynchronous Communication Model Based on Linear Logic
article
Formal Aspects of Computing, Springer Verlag, 1998, 10 (2), pp.160-170
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
An environment machine for the $\lambda\mu$-calculus
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1998, 8 (6), pp.637-669
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Concurrent Programming as Proof Net Construction
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1998, 8 (6), pp.681-710
Accès au bibtex
BibTex
auteur
Adam Cichon, Elias Tahhan-Bittar
titre
Strictly Orthogonal Left Linear Rewrite Systems and Primitive Recursion
article
[Intern report] 98-R-351 || cichon98b, 1998, 16 p
Accès au bibtex
BibTex
auteur
Philippe de Groote, Catherine Pilière
titre
Preuve de confluence de $\lambda_{exn}$
article
[Interne] 98-R-298 || de_groote98b, 1998, 19 p
Accès au bibtex
BibTex
auteur
Adam Cichon, Elias Tahhan-Bittar
titre
Ordinal recursive bounds for Higman’s theorem
article
Theoretical Computer Science, Elsevier, 1998, 201 (1-2), pp.63-84
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Corrigendum to Galmiche’s and Perrier’s “On Proof Normalization in Linear Logic
article
Theoretical Computer Science, Elsevier, 1998, 206 (1-2), pp.353-354
Accès au bibtex
BibTex
auteur
Catherine Pilière
titre
A CPS-semantics for a typed lambda-calculus of exception handling with fixed-point
article
ESSLLI’98, 1998, none, 12 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098699/file/98-R-123.pdf BibTex
auteur
Karl-Heinz Niggl
titre
Characterising Polytime through higher type Recursion
article
[Intern report] 98-R-239 || niggl98a, 1998, 17 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098738/file/98-R-239.pdf BibTex
auteur
Sylvain Pogodalla
titre
Lexicalized Proof-Nets in Pomset Logic & TAG
article
Logical Aspects of Computational Linguistics: Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers, 1998, Grenoble, France. pp.230-250, ⟨10.1007/3-540-45738-0_14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098490/file/pogodalla-lacl98.pdf BibTex
auteur
Serge Grigorieff, Jean-Yves Marion
titre
Kolmogorov complexity and non-determinism
article
[Intern report] 98-R-274 || grigorieff98a, 1998, 11 p
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Adam Cichon, François Lamarche
titre
A semantics and a syntax for ordinal notations and hierarchies
article
[Intern report] 98-R-070 || bonfante98b, 1998, 33 p
Accès au bibtex
BibTex
auteur
Hélène Touzet
titre
A complex example of a simplifying rewrite system
article
International Colloquium on Automata, Languages, and Programming – ICALP’98, Jul 1998, Aalborg, Denmark, pp.507-517
Accès au bibtex
BibTex
auteur
Hélène Touzet
titre
Encoding the Hydra battle as a rewrite system
article
International Symposium on the Mathematical Foundations of Computer Science – MFCS’98, Aug 1998, Brno, Czech Republic, pp.267-276
Accès au bibtex
BibTex
auteur
Jean-Yves Marion
titre
An hierarchy of terminating algorithms with semantic interpretation termination proofs
article
[Intern report] 98-R-273 || marion98a, 1998, 17 p
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Labelled Proof Nets for the Syntax and Semantics of Natural Languages – Abstract
article
4th Workshop on Logic, Language, Information and Computation – WoLLIC’97, 1998, Forataleza, Brazil, France. pp.907-910
Accès au bibtex
BibTex
auteur
Alain Lecomte
titre
POM-nets and minimalism
article
IV Roma Workshop: Dynamic Perspectives in Logic & Linguistics, SILPS Group in Logic and Natural Languages, 1998, none
Accès au bibtex
BibTex
auteur
François Lamarche, Christian Retoré
titre
Proof Nets for the Lambek Calculus – an overview
article
Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262
Accès au bibtex
BibTex
auteur
Alain Lecomte
titre
Multimodal Logic for Syntax
article
Logica Trianguli, 1998, 2, pp.49-72
Accès au bibtex
BibTex
auteur
Alain Lecomte, Christian Retoré
titre
Words as modules: a lexicalised grammar in the framework of linear logic proof nets.
article
Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144
Accès au bibtex
BibTex
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
titre
Complexity classes and rewrite systems with polynomial interpretation
article
CSl’98, 1998, Brno, République Tchèque, pp.372-384
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098689/file/98-R-060.pdf BibTex

1997

auteur
Alain Lecomte, François Lamarche, Guy Perrier
titre
Logical Aspects of Computational Linguistics – selected papers from LACl’97
article
2th International Conference on Logical Aspects of Computational Linguistics, LORIA, 1997, Nancy, France, 251 p
Accès au bibtex
BibTex

1996

auteur
Philippe de Groote, Christian Retoré
titre
On the semantic readings of proof-nets
article
Formal grammar 1996, 1996, Prague, Czech Republic. pp.57–70
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00823554/file/fg96.pdf BibTex

Comments are closed.