2018

titre
La réécriture de graphes au service de l'annotation de corpus et de l'exploitation de corpus annotés
auteur
Bruno Guillaume, Guy Perrier
article
Grammar and Corpora 2018, Nov 2018, Paris, France. 〈http://drehu.linguist.univ-paris-diderot.fr/gac-2018/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01930651/file/main.pdf BibTex
titre
Calculer sur la langue mais qu’y comprendre ?
auteur
Maxime Amblard
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
titre
Coffee or tea? Yes
auteur
Maria Boritchev, Maxime Amblard
article
SEMDIAL 2018 (AixDial) - The 22nd workshop on the Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01922151/file/Poster_Aixdial.pdf BibTex
titre
Coffee or tea? Yes
auteur
Maria Boritchev, Maxime Amblard
article
The 22nd workshop on the Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01922137/file/coffee_or_tea.pdf BibTex
titre
SUD or Surface-Syntactic Universal Dependencies: An annotation scheme near-isomorphic to UD
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
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
titre
Continuations as a semantics-pragmatics interface for presuppositions
auteur
Timothée Bernard
article
Sinn und Bedeutung (SuB 23), Sep 2018, Barcelona, Spain. 〈https://sites.google.com/view/sub23/home〉
Accès au bibtex
BibTex
titre
Application de la réécriture de graphes au traitement automatique des langues
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
ISTE editions, 1, pp.242, 2018, Série Logique, linguistique et informatique, Christian Rétoré, 9781784054762
Accès au bibtex
BibTex
titre
Non-size increasing Graph Rewriting for Natural Language Processing
auteur
Guillaume Bonfante, Bruno Guillaume
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (08), pp.1451 - 1484. 〈10.1017/S0960129518000178〉
DOI
DOI : 10.1017/S0960129518000178
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921038/file/grew.pdf BibTex
titre
New Progress in Continuation-Based Dynamic Logic
auteur
Philippe De Groote
article
Angelov, K.; Liefke, K.; Loukanova, R.; Moortgat, M.; Tojo, S. Symposium on Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)., Aug 2018, Stockholm, Sweden. 2018, 〈http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428〉
Accès au bibtex
BibTex
titre
Fingers in the Nose": Evaluating Speakers' Identification of Multi-Word Expressions Using a Slightly Gamified Crowdsourcing Platform
auteur
Karën Fort, Bruno Guillaume, Mathieu Constant, Nicolas Lefebvre, Yann-Alan Pilatte
article
LAW-MWE-CxG 2018 - COLING 2018 Joint Workshop on Linguistic Annotation, Multiword Expressions and Constructions, Aug 2018, Santa Fe, United States. pp.207 - 213, Proceedings of the Joint Workshop on Linguistic Annotation, Multiword Expressions and Constructions (LAW-MWE-CxG-2018). 〈https://aclanthology.coli.uni-saarland.de/events/ws-2018/#W18-49〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01912706/file/lawmwe_rigormortis.pdf BibTex
titre
Fine-grained discourse structures in continuation semantics
auteur
Timothée Bernard
article
SIGDIAL 2018 - 19th Annual Meeting of the Special Interest Group on Discourse and Dialogue, Jul 2018, Melbourne, Australia. Proceedings of SIGDIAL 2018, pp.296-305, 〈http://workshops.sigdial.org/conference19/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01801932/file/acl2018.pdf BibTex
titre
Éthique et traitement automatique des langues
auteur
Karën Fort, Maxime Amblard
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
titre
Modeling dialogues in a dynamic theory of types
auteur
Maria Boritchev
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
titre
Negative events in compositional semantics
auteur
Timothée Bernard, Champollion Lucas
article
Semantics and Linguistic Theory (SALT 28), May 2018, Cambridge (MA), United States. 28, pp.512-532, Semantics and Linguistic Theory. 〈https://salt28mit.org/〉
Accès au bibtex
BibTex
titre
Question the coherence of dialogical interaction through formalization
auteur
Maxime Amblard
article
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
titre
Application of Graph Rewriting to Natural Language Processing
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
ISTE Wiley, 1, pp.272, 2018, Logic, Linguistics and Computer Science Set, Christian Rétoré, 1786300966
Accès au bibtex
BibTex
titre
Produire des données pour la recherche en jouant aux zombies
auteur
Karën Fort, Bruno Guillaume
article
Interstices, INRIA, 2018, 〈https://interstices.info/produire-des-donnees-pour-la-recherche-en-jouant-aux-zombies〉
Accès au bibtex
BibTex
titre
Formal modelling of dialogue: how words interact (not only in the dictionary!)
auteur
Maxime Amblard
article
EMLex lecture series/Se ́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
titre
Idée reçue : Les algorithmes prennent-ils des décisions ?
auteur
Maxime Amblard
article
Interstices, INRIA, 2018, 〈https://interstices.info/idee-recue-les-algorithmes-prennent-ils-des-decisions〉
Accès au bibtex
BibTex
titre
SLAM, un corpus de conversations avec des patients schizophrènes
auteur
Maxime Amblard
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
titre
Intelligences Artificielles, Mythes et Ethique
auteur
Maxime Amblard
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
titre
Negation and distributivity in event semantics
auteur
Timothée Bernard, Champollion Lucas
article
Journées Co-distributivité 2018, Feb 2018, Paris, France. 〈http://www.sfl.cnrs.fr/codistr-journees-co-distributivite-2018〉
Accès au bibtex
BibTex
titre
Negation in event semantics with real and imaginary event
auteur
Timothée Bernard
article
ConSOLE XXVI, Feb 2018, London, United Kingdom. 〈https://console2018.wordpress.com/〉
Accès au bibtex
BibTex
titre
Approaching dialogue modeling in a dynamic framework
auteur
Maria Boritchev
article
Computer Science [cs]. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01684145/file/MasterThesisMariaBoritchev.pdf BibTex
titre
Formal Grammar
auteur
Annie Foret, Reinhard Muskens, Sylvain Pogodalla
article
Jul 2017, Toulouse, France. 10686, Springer-Verlag Berlin Heidelberg, 2018, Lecture Notes in Computer Science, 〈10.1007/978-3-662-56343-4〉
DOI
DOI : 10.1007/978-3-662-56343-4
Accès au bibtex
BibTex
titre
Formal Grammar 2018
auteur
Annie Foret, Greg Kobele, Sylvain Pogodalla
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〉
DOI
DOI : 10.1007/978-3-662-57784-4
Accès au bibtex
BibTex
titre
Universal Dependencies 2.2
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 Prevost, 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
article
LINDAT/CLARIN digital library at the Institute of Formal and Applied Linguistics (ÚFAL), Faculty.. 2018
Accès au bibtex
BibTex

2017

titre
A Formal Account of Disorders in Dialogues
auteur
Maxime Amblard
article
CLASP seminar, Nov 2017, Gothenburg, Sweden. pp.1-158, 2017
Accès au bibtex
BibTex
titre
Universal Dependencies 2.1
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, Eric 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
article
LINDAT/CLARIN digital library at the Institute of Formal and Applied Linguistics (ÚFAL), Faculty.. 2017
Accès au bibtex
BibTex
titre
Enhanced UD Dependencies with Neutralized Diathesis Alternation
auteur
Marie Candito, Bruno Guillaume, Guy Perrier, Djamé Seddah
article
Depling 2017 - Fourth International Conference on Dependency Linguistics, Sep 2017, Pisa, Italy. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01625466/file/Depling_2017_paper_28-version-finale.pdf BibTex
titre
Abstract Categorial Grammars as a Model of the Syntax-Semantics Interface for TAG
auteur
Sylvain Pogodalla
article
Handout of the tutorial delivered at the FSMNLP 2017 & TAG+13 conference, Umeå, Sweden. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583962/file/tag%2B13-tutorial.handout.pdf BibTex
titre
Generalized Quantifiers and Dynamicity — preliminary results —
auteur
Clement Beysson, Sarah Blind, Philippe De Groote, Bruno Guillaume
article
QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01651668/file/QUAD2017.pdf BibTex
titre
Réflexion sur l’annotation de corpus écrits du français en syntaxe et en sémantique
auteur
Bruno Guillaume, Guy Perrier
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
titre
Déterminants et quantificateurs généralisés dynamiques
auteur
Clement Beysson
article
Hélène Flamein; Yannick Parmentier. TALN 2017 - Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01651749/file/RECITAL_2017_paper_5.pdf BibTex
titre
Une interprétation probabiliste des informations de factivité
auteur
Timothée Bernard
article
24ème conférence sur le Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. Actes de TALN'2017, 2, articles courts
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01560547/file/court.pdf BibTex
titre
Vers l'annotation par le jeu de corpus (plus) complexes : le cas de la langue de spécialité
auteur
Karën Fort, Bruno Guillaume, Nicolas Lefèbvre, Laura Ramírez, Mathilde Regnault, Mary Collins, Oksana Gavrilova, Tanti Kristanti
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
titre
Le discours des schizophrènes par la formalisation langagière, interpréter les troubles de la pensée par les troubles du langages
auteur
Maxime Amblard
article
2017 - Séminaire C2S, Jun 2017, Reims, France. pp.1-109, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655828/file/Reims.pdf BibTex
titre
Who wants to play Zombie? A survey of the players on ZOMBILINGO
auteur
Karën Fort, Bruno Guillaume, Nicolas Lefèbvre
article
Games4NLP 2017 - Using Games and Gamification for Natural Language Processing, Apr 2017, Valencia, Spain. pp.2, 2017, Symposium Games4NLP
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01494043/file/games4nlp_zl.pdf BibTex
titre
(In)Coherence of discourse 4
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi, Marie-Hélène Pierre, Stefan Jokulsson
article
Mar 2017, Nancy, France. Published by the authors, pp.1-19, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655957/file/proceedings2017final.pdf BibTex
titre
On Politics and Argumentation
auteur
Maria Boritchev
article
MALOTEC, Mar 2017, Nancy, France. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01666416/file/Malotec.pdf BibTex
titre
Grande L3 deviendra mini-chercheuse
auteur
Maria Boritchev
article
Séminaire SIESTE, Feb 2017, Lyon, France. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01666417/file/SIESTE.pdf BibTex
titre
Modélisation sémantique de la langue, une mise en pratique
auteur
Maxime Amblard
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, 2017
Accès au bibtex
BibTex
titre
Regard sur « Le temps des algorithmes »
auteur
Maxime Amblard
article
Interstices, INRIA, 2017
Accès au bibtex
BibTex
titre
MOL 2017, the 15th Meeting on the Mathematics of Language
auteur
Makoto Kanazawa, Philippe De Groote, Mehrnoosh Sadrzadeh
article
Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Jul 2017, London, United Kingdom. Association for Computational Linguistics, 2017, 〈https://aclweb.org/anthology/sigmol.html#2017_0〉
Accès au bibtex
BibTex
titre
Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
article
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), 〈10.15398/jlm.v5i2.147〉
DOI
DOI : 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
titre
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars
auteur
Sylvain Pogodalla
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〉
DOI
DOI : 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

2016

titre
Crowdsourcing Complex Language Resources: Playing to Annotate Dependency Syntax
auteur
Bruno Guillaume, Karën Fort, Nicolas Lefèbvre
article
International Conference on Computational Linguistics (COLING), Dec 2016, Osaka, Japan. 2016, Proceedings of the 26th International Conference on Computational Linguistics (COLING). 〈http://coling2016.anlp.jp/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01378980/file/coling2016_zl.pdf BibTex
titre
Sémantique et discours - de la modélisation à l'interprétation
auteur
Maxime Amblard
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
titre
Polymnie — Analyse et synthèse avec les Grammaires Catégorielles Abstraites : du lexique au discours
auteur
Sylvain Pogodalla
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
titre
Sémantique : modélisation formelle et interprétation de données empiriques
auteur
Maxime Amblard
article
Séminaire ATILF, Oct 2016, Nancy, France. pp.1-150
Accès au bibtex
BibTex
titre
Lambek Categorial Grammars as Abstract Categorial Grammars
auteur
Philippe De Groote
article
LENLS 13, Oct 2016, Tokyo, Japan. 2016, Logic and Engineering of Natural Language Semantics 13
Accès au bibtex
BibTex
titre
Introducing a Calculus of Effects and Handlers for Natural Language Semantics
auteur
Jirka Maršík, Maxime Amblard
article
Annie Foret; Glyn Morrill; Reinhard Muskens; Rainer Osswald; Sylvain Pogodalla Formal Grammar 2016, Aug 2016, Bozen-Bolzano, Italy. Springer Berlin Heidelberg, 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, 9804, pp.257--272, Lecture Notes in Computer Science,. 〈http://fg.phil.hhu.de/2016/〉. 〈10.1007/978-3-662-53042-9〉
DOI
DOI : 10.1007/978-3-662-53042-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01332762/file/fg2016.pdf BibTex
titre
Modal Subordination in Type Theoretic Dynamic Logic
auteur
Sai Qian, Philippe De Groote, Maxime Amblard
article
Linguistic Issues in Language Technology, 2016, Modes of Modality in NLP, 14, pp.54. 〈http://csli-lilt.stanford.edu/ojs/index.php/LiLT/issue/view/7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01370557/file/66-193-1-PB.pdf BibTex
titre
ACGTK: un outil de développement et de test pour les grammaires catégorielles abstraites
auteur
Sylvain Pogodalla
article
Laurence Danlos; Thierry Hamon. 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. Association Francophone pour la Communication Parlée; Association pour le Traitement Automatique des Langues, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01328702/file/acgtk.pdf BibTex
titre
Interfacing Sentential and Discourse TAG-based Grammars
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
article
David Chiang; Alexander Koller. Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Jun 2016, Düsseldorf, Germany. 〈http://www.aclweb.org/anthology/W16-3303〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01328697/file/dstag-dltag-acg.pdf BibTex
titre
L'informaticien face au traitement du langage : que peut-on faire et que croit-on que nous faisons ?
auteur
Maxime Amblard
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. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01280932/file/IRIST_Amblard.pdf BibTex
titre
Regard sur « À quoi rêvent les algorithmes »
auteur
Maxime Amblard
article
Interstices, INRIA, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01280938/file/Aquoireventlesalgorithmesdef.pdf BibTex
titre
Human Robots, Are You Real Then?
auteur
Maxime Amblard, Amine Boumaza
article
Iride, Società Editrice il Mulino, 2016, XXIX (2), pp.287-298. 〈https://www.rivisteweb.it/doi/10.1414/84251〉. 〈10.1414/84251〉
DOI
DOI : 10.1414/84251
Accès au bibtex
BibTex
titre
For-Adverbials and Aspectual Interpretation: An LTAG Analysis Using Hybrid Logic and Frame Semantics
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
article
Christopher Piñón. Empirical Issues in Syntax and Semantics 11, 11, CSSP, 2016, Empirical Issues in Syntax and Semantics, 1769-7158. 〈http://www.cssp.cnrs.fr/eiss11/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417847/file/eiss11_kallmeyer-and-osswald-and-pogodalla.pdf BibTex
titre
Pour un TAL responsable
auteur
Maxime Amblard
article
Traitement Automatique des Langues, ATALA, 2016, 57 (2), pp.21 - 45. 〈http://atala.org/-Revue-TAL-〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01414145/file/amblardethiquev4.pdf BibTex
titre
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
auteur
Maxime Amblard, Philippe De Groote, Sylvain Pogodalla, Christian Retoré
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〉
DOI
DOI : 10.1007/978-3-662-53826-5
Accès au bibtex
BibTex
titre
Formal Grammar
auteur
Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
article
Italy. 9804, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, 978-3-662-53041-2. 〈10.1007/978-3-662-53042-9〉
DOI
DOI : 10.1007/978-3-662-53042-9
Accès au bibtex
BibTex

2015

titre
Robots humains, avez-donc une réalité ?
auteur
Maxime Amblard, Amine Boumaza
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
titre
(In)Coherence of discourse 3
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi, Jirka Maršík, Stefan Jokulsson
article
Dec 2015, Nancy, France. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655955/file/procedings2015final.pdf BibTex
titre
Le langage, logique !
auteur
Maxime Amblard
article
Colloquium général Leçon 217 semestre XXIX, Oct 2015, Luxembourg, Luxembourg
Accès au bibtex
BibTex
titre
Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
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
titre
Le langage, logique !
auteur
Maxime Amblard
article
Conférences Curieuses , Sep 2015, Nancy, France
Accès au bibtex
BibTex
titre
Analyse lexicale outillée de la parole transcrite de patients schizophrènes
auteur
Maxime Amblard, Karën Fort, Caroline Demily, Nicolas Franck, Michel Musiol
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
titre
La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique
auteur
Maxime Amblard
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
titre
Quantification in Frame Semantics with Hybrid Logic
auteur
Laura Kallmeyer, Timm Lichte, Rainer Osswald, Sylvain Pogodalla, Christian Wurm
article
Robin Cooper and Christian Retoré. Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain. 2015, ESSLLI 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01151641/file/kallmeyer-et-al.pdf BibTex
titre
Recherche de motifs de graphe en ligne
auteur
Bruno Guillaume
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2015, Caen, France. pp.648--649, Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN'2015), Caen (France)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01188682/file/grew_web.pdf BibTex
titre
Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
article
Pierre Zweigenbaum; Emmanuel Morin; Pascale Sébillot. Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France. Association pour le Traitement Automatique des Langues, pp.158-169, 2015, 〈http://www.atala.org/taln_archives/TALN/TALN-2015/taln-2015-long-014.html〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01145994/file/dstag-acg.pdf BibTex
titre
Le langage comme marqueur des troubles du langage et de la pensée
auteur
Maxime Amblard
article
séminaire Praxiling, Jun 2015, Montpellier, France
Accès au bibtex
BibTex
titre
Pragmatic Side Effects
auteur
Jiri Marsik, Maxime Amblard
article
Redrawing Pragmasemantic Borders, Mar 2015, Groningen, Netherlands. 〈https://sites.google.com/site/redraw2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01164729/file/redraw.pdf BibTex
titre
SLAM Schizophrénie et Langage : Analyse et Modélisation
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
article
Journée de restitution CNRS PEPS HuMaIn, Feb 2015, Paris, France
Accès au bibtex
BibTex
titre
Abstract Categorial Parsing as Linear Logic Programming
auteur
Philippe De Groote
article
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. Association for Computational Linguistics, pp.15--25, 2015
Accès au bibtex
BibTex
titre
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
auteur
Philippe De Groote
article
Valeria de Paiva; Ruy J. G. B. de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina Grisi de Oliveira. Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. 9160, pp.109--123, 2015, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
On Logical Relations and Conservativity
auteur
Philippe De Groote
article
Makoto Kanazawa; Lawrence S. Moss; Valeria de Paiva. NLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. 32, pp.1-11, 2015, EasyChair Proceedings in Computing
Accès au bibtex
BibTex
titre
Dependency Parsing with Graph Rewriting
auteur
Bruno Guillaume, Guy Perrier
article
IWPT 2015, 14th International Conference on Parsing Technologies, 2015, Bilbao, Spain. pp.30-39, 2015, 14th International Conference on Parsing Technologies - Proceedings of the Conference. 〈http://aclweb.org/anthology/W15-2204〉
Accès au bibtex
BibTex
titre
Guide d'annotation en dépendances profondes pour le français
auteur
Marie Candito, Guy Perrier
article
Ce guide décrit le schéma d'annotation en dépendances profondes utilisé pour l'annotation en .. 2015, pp.129
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01249907/file/Sequoia%20-%20guide%20annotation.pdf BibTex
titre
Frigram: a French Interaction Grammar
auteur
Guy Perrier, Bruno Guillaume
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. 〈http://jlm.ipipan.waw.pl/index.php/JLM/article/view/93〉. 〈10.15398/jlm.v3i1.93〉
DOI
DOI : 10.15398/jlm.v3i1.93
Accès au bibtex
BibTex

2014

titre
FRIGRAM: a French Interaction Grammar
auteur
Guy Perrier
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
titre
Some Non-Classical Approaches to the Branderburger-Keisler Paradox
auteur
Can Baskent
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094784/file/gameparadox.pdf BibTex
titre
De la sémantique compositionelle à la modélisation du discours : cadres formel et empirique
auteur
Maxime Amblard
article
séminaire LINA, Dec 2014, Nantes, France
Accès au bibtex
BibTex
titre
Modèle de la langue à l’épreuve du discours chez les schizophrènes
auteur
Maxime Amblard
article
séminaire Hôpital Saint-Jacques, Dec 2014, Nantes, France
Accès au bibtex
BibTex
titre
Quantitative study of linguistic phenomenas as indices of Thought and Language Disorders
auteur
Maxime Amblard
article
(In)Coherence du Discours 2, Dec 2014, Nancy, France. 〈http://discours.loria.fr/2014/〉
Accès au bibtex
BibTex
titre
A type-logical account of quantification in event semantics
auteur
Philippe De Groote, Yoad Winter
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
titre
L'impossibilité de l'anonymat dans le cadre de l'analyse du discours
auteur
Maxime Amblard, Karën Fort, Michel Musiol, Manuel Rebuschi
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
titre
Accessibility of Referents in Discourse Semantics
auteur
Sai Qian
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
titre
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
auteur
Laurence Danlos, Philippe De Groote, Sylvain Pogodalla
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〉
DOI
DOI : 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
titre
Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology
auteur
Gilles Adda, Laurent Besacier, Alain Couillault, Karën Fort, Joseph Mariani, Hugues De Mazancourt
article
Crowdsourcing and human computation multidisciplinary workshop, Sep 2014, Paris, France. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01078045/file/charter.pdf BibTex
titre
Public Announcements, Topology and Paraconsistency
auteur
Can Baskent
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
titre
Parsing Coordination Extragrammatically
auteur
Valmi Dufour-Lussier, Bruno Guillaume, Guy Perrier
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〉. 〈http://link.springer.com/chapter/10.1007%2F978-3-319-08958-4_5〉
DOI
DOI : 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
titre
Crowdsourcing for Language Resource Development: Criticisms About Amazon Mechanical Turk Overpowering Use
auteur
Karen Fort, Gilles Adda, Benoît Sagot, Joseph Mariani, Alain Couillault
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〉
DOI
DOI : 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
titre
Algebraic Effects and Handlers in Natural Language Interpretation
auteur
Jiří Maršík, Maxime Amblard
article
Valeria de Paiva and Walther Neuper and Pedro Quaresma and Christian Retoré and Lawrence S. Moss and Jordi Saludes. Natural Language and Computer Science, Jul 2014, Vienne, Austria. Center for Informatics and Systems of the University of Coimbra, TR 2014-002, 2014, Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014). 〈https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR%202014-02.pdf〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01079206/file/effects-paper.pdf BibTex
titre
Étude quantitative des disfluences dans le discours de schizophrènes : automatiser pour limiter les biais
auteur
Maxime Amblard, Karën Fort
article
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.292-303, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054391/file/Paper_O-S2.1.pdf BibTex
titre
ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
auteur
Karën Fort, Bruno Guillaume, Valentin Stern
article
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054395/file/Paper_P-Demo1.6.pdf BibTex
titre
Un schéma d'annotation en dépendances syntaxiques profondes pour le français
auteur
Guy Perrier, Marie Candito, Bruno Guillaume, Corentin Ribeyre, Karën Fort, Djamé Seddah
article
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.574-579, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054407/file/Paper_P-C.4.pdf BibTex
titre
Génération de textes : G-TAG revisité avec les Grammaires Catégorielles Abstraites
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
article
Actes de la 21e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2014), Jul 2014, Marseille, France. Association pour le Traitement Automatique des Langues, 1, pp.161-172, 2014, 〈http://www.aclweb.org/anthology/F14-1015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00999589/file/g-tag-acg.pdf BibTex
titre
Lexical Disambiguation in LTAG using Left Context
auteur
Claire Gardent, Yannick Parmentier, Guy Perrier, Sylvain Schmitz
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〉
DOI
DOI : 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
titre
An ACG Analysis of the G-TAG Generation Process
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
article
Margaret Mitchell and Kathleen McCoy and David McDonald and Aoife Cahill. Proceedings of the 8th International Natural Language Generation Conference (INLG 2014), Jun 2014, Philadelphia, PA, United States. Association for Computational Linguistics, pp.35-44, 2014, 〈http://www.aclweb.org/anthology/W14-4406〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00999595/file/GTAG2014.pdf BibTex
titre
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
auteur
Maxime Amblard, Christian Retoré
article
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94. 〈http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01071642/file/IfCoLogvolume1AmblardRetore.pdf BibTex
titre
An ACG View on G-TAG and Its g-Derivation
auteur
Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla
article
Nicholas Asher and Sergei Soloviev. Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings, Jun 2014, Toulouse, France. Springer, 8535, pp.70-82, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-662-43742-1_6〉
DOI
DOI : 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
titre
Mapping the Lexique des Verbes du Français (Lexicon of French Verbs) to a NLP Lexicon using Examples
auteur
Bruno Guillaume, Karën Fort, Guy Perrier, Paul Bedaride
article
International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969184/file/DuboisCharlier.pdf BibTex
titre
Deep Syntax Annotation of the Sequoia French Treebank
auteur
Marie Candito, Guy Perrier, Bruno Guillaume, Corentin Ribeyre, Karën Fort, Djamé Seddah, Éric Villemonte de La Clergerie
article
International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969191/file/deep_sequoia.final_with_keywords.pdf BibTex
titre
Evaluating Corpora Documentation with regards to the Ethics and Big Data Charter
auteur
Alain Couillault, Karën Fort, Gilles Adda, Hugues De Mazancourt
article
International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969180/file/LRECebdc.pdf BibTex
titre
Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose
auteur
Mathieu Lafourcade, Karën Fort
article
LREC: Language Resources and Evaluation Conference, May 2014, Reykjavik, Iceland. 9th International Conference on Language Resources and Evaluation, 2014, 〈http://www.lrec-conf.org/proceedings/lrec2014/index.html〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969161/file/Sexit.pdf BibTex
titre
Creating Zombilingo, a Game With A Purpose for dependency syntax annotation
auteur
Karën Fort, Bruno Guillaume, Hadrien Chastant
article
Gamification for Information Retrieval (GamifIR'14) Workshop, Apr 2014, Amsterdam, Netherlands. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969157/file/4-Fort.pdf BibTex
titre
Modeling the Dynamic Effects of Discourse: Principles and Frameworks
auteur
Maxime Amblard, Sylvain Pogodalla
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〉
DOI
DOI : 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
titre
Retrieving the syntactic structure of erroneous ASR transcriptions for open-domain Spoken Language Understanding
auteur
Frédéric Béchet, Benoit Favre, Alexis Nasr, Mathieu Morey
article
ICASSP2014 - Speech and Language Processing (ICASSP2014 - SLTC), 2014, Florence, Italy. 2014
Accès au bibtex
BibTex
titre
Supertagging with Constraints
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
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
titre
Using SDRT to analyze pathological conversations. Logicality, rationality and pragmatic deviances
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
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〉
DOI
DOI : 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
titre
Which Society, Which Software?
auteur
Can Baskent
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094785/file/socialsoftware.pdf BibTex
titre
Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω
auteur
Can Baskent
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094786/file/topologicaldacosta.pdf BibTex
titre
Inquiry, Refutations and the Inconsistent
auteur
Can Baskent
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094783/file/lakatoshintikka.pdf BibTex

2013

titre
Modélisation logique de la langue et Grammaires Catégorielles Abstraites
auteur
Florent Pompigne
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
titre
Real Humans : des machines qui parlent comme des hommes, ou presque...
auteur
Maxime Amblard
article
Interstices, INRIA, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281272/file/RealHumans.pdf BibTex
titre
Integration of Multiple Constraints in ACG
auteur
Jiří Maršík, Maxime Amblard
article
Logic and Engineering of Natural Language Semantics 10, Oct 2013, Kanagawa, Japan. pp.1-14, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00869748/file/lenlspaper.pdf BibTex
titre
Comments to Yao and Zou on: "Hybrid Categorial Type Logics and the Formal Treatment of Chinese
auteur
Sylvain Pogodalla
article
Johan van Benthem and Fenrong Liu. Tsinghua Logic Conference, Oct 2013, Beijing, China. College Publications, 47, pp.269-274, 2013, Studies in Logic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868241/file/pogodalla.pdf BibTex
titre
Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar Perspective
auteur
Aleksandre Maskharashvili, Sylvain Pogodalla
article
Ruslan Mitkov; Jong C. Park. Proceedings of the Sixth International Joint Conference on Natural Language Processing (IJCNLP 2013), Oct 2013, Nagoya, Japan. pp.1257-1263, 2013, 〈http://aclweb.org/anthology/I13-1179〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00868363/file/tagTOdep.pdf BibTex
titre
Interpreting conversations in pathological contexts
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
article
Investigating semantics: Empirical and philosophical approaches, Oct 2013, Bochum, Germany. 〈http://www.ruhr-uni-bochum.de/phil-lang/investigating/〉
Accès au bibtex
BibTex
titre
Interpreting conversations in pathological contexts
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
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
titre
Leopar: an Interaction Grammar Parser
auteur
Guy Perrier, Bruno Guillaume
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
titre
FRIGRAM: a French Interaction Grammar
auteur
Guy Perrier, Bruno Guillaume
article
Denys Duchier and Yannick Parmentier. ESSLLI 2013 - Workshop on High-level Methodologies for Grammar Engineering, Aug 2013, Düsseldorf, Germany. pp.63-74, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920717/file/main.pdf BibTex
titre
Approche sémantico-formelle des troubles du discours : les conditions de la saisie de leurs aspects pyscholinguistiques
auteur
Michel Musiol, Maxime Amblard, Manuel Rebuschi
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
titre
Charte Éthique et Big Data : parce que mon corpus le vaut bien !
auteur
Alain Couillault, Karën Fort
article
Linguistique, Langues et Parole : Statuts, Usages et Mésusages, Jul 2013, Strasbourg, France. pp.4, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00820352/file/CharteColloque_CorpusOutil.pdf BibTex
titre
Expériences de formalisation d'un guide d'annotation : vers l'annotation agile assistée
auteur
Bruno Guillaume, Karën Fort
article
20e conférence sur le Traitement Automatique des Langues Naturelles, Jun 2013, Les Sables d'Olonne, France. pp.628--635, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840895/file/aa.pdf BibTex
titre
Analyse statique des interactions entre structures élémentaires d'une grammaire
auteur
Guy Perrier
article
Emmanuel Morin and Yannick Estève. TALN 2013, Jun 2013, Les Sables d'Olonne, France. pp.604-611, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920757/file/main.pdf BibTex
titre
Non-simplifying Graph Rewriting Termination
auteur
Guillaume Bonfante, Bruno Guillaume
article
Rachid Echahed and Detlef Plump. TERMGRAPH, Mar 2013, Rome, Italy. pp.4-16, 2013, 7th International Workshop on Computing with Terms and Graphs. 〈http://termgraph2013.imag.fr/pages/TERMGRAPH2013Proceedings.pdf〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00921053/file/termgraph.pdf BibTex
titre
Schizophrénie, logicité et compréhension en première personne
auteur
Manuel Rebuschi, Maxime Amblard, Michel Musiol
article
L'Évolution Psychiatrique, Elsevier, 2013, 78 (1), pp.127-141. 〈10.1016/j.evopsy.2012.08.014〉
DOI
DOI : 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
titre
Accessibility for Plurals in Continuation Semantics
auteur
Sai Qian, Maxime Amblard
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〉. 〈http://www.is.ocha.ac.jp/~bekki/lenls/lenls9/index.html〉
DOI
DOI : 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
titre
A Note on Intensionalization
auteur
Philippe De Groote, Makoto Kanazawa
article
Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. 〈http://link.springer.com/article/10.1007/s10849-013-9173-9〉. 〈10.1007/s10849-013-9173-9〉
DOI
DOI : 10.1007/s10849-013-9173-9
Accès au bibtex
BibTex

2012

titre
Modeling the Complexity of Manual Annotation Tasks: a Grid of Analysis
auteur
Karën Fort, Adeline Nazarenko, Sophie Rosset
article
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.895--910, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00769631/file/coling2012_Complexity_KF_30102012.pdf BibTex
titre
Manual Corpus Annotation: Giving Meaning to the Evaluation Metrics
auteur
Yann Mathet, Antoine Widlöcher, Karën Fort, Claire François, Olivier Galibert, Cyril Grouin, Juliette Kahn, Sophie Rosset, Pierre Zweigenbaum
article
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.809--818, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00769639/file/coling2012_EvalManualAnnotation.pdf BibTex
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
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
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
titre
Annotation sémantique du French Treebank à l'aide de la réécriture modulaire de graphes
auteur
Guy Perrier, Bruno Guillaume
article
Georges Antoniadis, Hervé Blanchon, Gilles Sérasset. Conférence annuelle sur le Traitement Automatique des Langues - TALN'12, Jun 2012, Grenoble, France. pp.293-306, 2012
Accès au bibtex
BibTex
titre
Grew : un outil de réécriture de graphes pour le TAL
auteur
Bruno Guillaume, Guillaume Bonfante, Paul Masson, Mathieu Morey, Guy Perrier
article
Georges Antoniadis, Hervé Blanchon, Gilles Sérasset. 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12), Jun 2012, Grenoble, France. pp.1-2, 2012
Accès au bibtex
BibTex
titre
Semantic Annotation of the French Treebank with Modular Graph Rewriting
auteur
Guy Perrier, Bruno Guillaume
article
Jan Hajic. META-RESEARCH Workshop on Advanced Treebanking, LREC 2012 Workshop, May 2012, Istanbul, Turkey. 2012
Accès au bibtex
BibTex
titre
Expressing discourse dynamics through continuations
auteur
Ekaterina Lebedeva
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
titre
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
auteur
Philippe De Groote, Mark-Jan Nederhof
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〉
DOI
DOI : 10.1007/978-3-642-32024-8
Accès au bibtex
BibTex
titre
Controlling Extraction in Abstract Categorial Grammars
auteur
Sylvain Pogodalla, Florent Pompigne
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〉. 〈http://link.springer.com/chapter/10.1007/978-3-642-32024-8_11〉
DOI
DOI : 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

2011

titre
Implicit Arguments: Event Modification or Option Type Categories?
auteur
Chris Blom, Philippe De Groote, Yoad Winter, Joost Zwarts
article
Maria Aloni and Vadim Kimmelman and Floris Roelofsen and Galit Weidman Sassoon and Katrin Schulz and Matthijs Westera. 18th Amsterdam Colloquium on Logic, Language and Meaning, Dec 2011, Amsterdam, Netherlands. Springer, 7218, pp.240-250, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31482-7_25〉
DOI
DOI : 10.1007/978-3-642-31482-7_25
Accès au bibtex
BibTex
titre
Lexical Disambiguation in LTAG using Left Context
auteur
Claire Gardent, Yannick Parmentier, Guy Perrier, Sylvain Schmitz
article
5th Language & Technology Conference - LTC'11, Nov 2011, Poznań, Poland. pp.395-399, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00629902/file/polarities_LTC-11.pdf BibTex
titre
Parsing Coordination Extragrammatically
auteur
Valmi Dufour-Lussier, Bruno Guillaume, Guy Perrier
article
5th Language & Technology Conference - LTC'11, Nov 2011, Poznan, Poland. 2011
Accès au bibtex
BibTex
titre
Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés
auteur
Mathieu Morey
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
titre
Frobenius Algebras and Classical Proof Nets
auteur
François Lamarche, Novak Novakovic
article
Fifth International Conference on Topology, Algebra and Categories in Logic - TACL 2011, Jul 2011, Marseille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00620126/file/TACL11.pdf BibTex
titre
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
auteur
Maxime Amblard
article
Sylvain Pogodalla and Jean-Philippe Prost. 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. Springer, 6736, pp.1--16, 2011, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-642-22221-4_1〉
DOI
DOI : 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
titre
Event in Compositional Dynamic Semantics
auteur
Sai Qian, Maxime Amblard
article
Sylvain Pogodalla and Jean-Philippe Prost. 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. Springer, 6736, pp.219--234, 2011, Lecture Notes in Artificial Intelligence. 〈10.1007/978-3-642-22221-4_15〉
DOI
DOI : 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
titre
Enrichissement de structures en dépendances par réécriture de graphes
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France. 2011
Accès au bibtex
BibTex
titre
Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
article
Mathieu Lafourcade and Violaine Prince. Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2011, Jun 2011, Montpellier, France. Laboratoire d'Informatique de Robotique et de Microélectronique, pp.93 - 98, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00601622/file/AmMusiRebtaln11.pdf BibTex
titre
A new homotopy-theoretic interpretation of Martin-Löf's identity type.
auteur
François Lamarche
article
Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai, Jun 2011, Montréal, Canada. 53, 2011, CRM Proceedings & Lecture Notes
Accès au bibtex
BibTex
titre
Workshop Proposal for Young Researchers' Roundtable on Spoken Dialogue Systems 2011
auteur
Sai Qian
article
Young Researchers' Roundtable on Spoken Dialogue Systems 2011, Jun 2011, Portland, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646845/file/yrrsds11_Sai.pdf BibTex
titre
Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages
auteur
Maxime Amblard
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〉
DOI
DOI : 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
titre
Folie, conversation et contradictions
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
article
Le langage comme Action / l'action par le langage, Apr 2011, Grenoble, France
Accès au bibtex
BibTex
titre
Modular Graph Rewriting to Compute Semantics
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
article
Johan Bos and Stephen Pulman. 9th International Conference on Computational Semantics - IWCS 2011, Jan 2011, Oxford, United Kingdom. pp.65--74, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00579244/file/iwcs.pdf BibTex
titre
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
auteur
Sylvain Pogodalla, Jean-Philippe Prost
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〉
DOI
DOI : 10.1007/978-3-642-22221-4
Accès au bibtex
BibTex
titre
SDRT and Continuation Semantics
auteur
Nicholas Asher, Sylvain Pogodalla
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〉
DOI
DOI : 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
titre
Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers
auteur
Philippe De Groote, Markus Egg, Laura Kallmeyer
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〉
DOI
DOI : 10.1007/978-3-642-20169-1
Accès au bibtex
BibTex
titre
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
auteur
Philippe De Groote, Sylvain Pogodalla, Carl Pollard
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 106 (2-4), pp.211-231. 〈http://iospress.metapress.com/content/h212811177456033/〉. 〈10.3233/FI-2011-384〉
DOI
DOI : 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
titre
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
auteur
Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
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〉
DOI
DOI : 10.1007/978-3-642-21490-5
Accès au bibtex
BibTex
titre
A System of Interaction and Structure V: The Exponentials and Splitting
auteur
Alessio Guglielmi, Lutz Straßburger
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, pp.1-22. 〈10.1017/S096012951100003X〉
DOI
DOI : 10.1017/S096012951100003X
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441254/file/NEL-splitting.pdf BibTex
titre
A System of Interaction and Structure IV: The Exponentials and Decomposition
auteur
Lutz Straßburger, Alessio Guglielmi
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12 (4), pp.23. 〈10.1145/1970398.1970399〉
DOI
DOI : 10.1145/1970398.1970399
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441214/file/SIS-IV.pdf BibTex

2010

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

2009

titre
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
auteur
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
article
2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441213/file/QuasiPolNormDI.pdf BibTex
titre
A General View of Normalisation through Atomic Flows
auteur
Tom Gundersen
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
titre
La chaîne d'analyse syntaxique de LEOPAR
auteur
Guy Perrier, Bruno Guillaume, Jonathan Marchand
article
Journée thématique ATALA "What French parsing systems ?", Oct 2009, Paris, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440985/file/ATALA_leopar.pdf BibTex
titre
Dependency Constraints for Lexical Disambiguation
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
article
11th International Conference on Parsing Technologies - IWPT'09, Oct 2009, Paris, France. Association for Computational Linguistics, pp.242-253, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440795/file/IWPT_dependency_constraints_for_LD.pdf BibTex
titre
An Interaction Grammar of interrogative and relative clauses in French
auteur
Guy Perrier
article
International Conference Recent Advances in Natural Language Processing - RANLP 2009, Sep 2009, Borovets, Bulgaria. pp.343-348, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441019/file/main-final.pdf BibTex
titre
An Interesting Link Between Type Theory and Algebraic topology.
auteur
François Lamarche
article
SD09 Structures and Deductions 2009, Jul 2009, Bordeaux, France. 2009
Accès au bibtex
BibTex
titre
Word Order Constraints for Lexical Disambiguation of Interaction Grammars
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
article
Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440785/file/PCG_word_order_constraints_for_LD.pdf BibTex
titre
Two Denotational Interpretations of Proofs in Classical Logic
auteur
François Lamarche, Novak Novakovic
article
Michel Parigot and Lutz Straßburger. Structures and Deduction 2009, Jul 2009, Bordeaux, France. pp.117-133, 2009, 〈http://www.lix.polytechnique.fr/~lutz/orgs/sd09-proc.pdf〉
Accès au bibtex
BibTex
titre
Interaction Grammar for the Persian Language: Noun and Adjectival Phrases
auteur
Masood Ghayoomi, Bruno Guillaume
article
Proceedings of the 7th Workshop on Asian Language Resources - ACL-IJCNLP 2009, Jul 2009, Singapore, Singapore. World Scientific Publishing Co Pte Ltd 5 Toh Tuck Link Singapore 596224, pp.107-114, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00440980/file/ALR_IG_for_persian.pdf BibTex
titre
Analyse en dépendances à l'aide des grammaires d'interaction
auteur
Jonathan Marchand, Bruno Guillaume, Guy Perrier
article
Conférence sur le Traitement Automatique des Langues Naturelles - TALN'09, Jun 2009, Senlis, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00418366/file/taln09.pdf BibTex
titre
Modélisation des mouvements explicites dans les ACG avec le produit dépendant
auteur
Florent Pompigne
article
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2009 - RECITAL, Jun 2009, Senlis, France. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441912/file/recital-article.pdf BibTex
titre
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
auteur
Philippe De Groote, Sylvain Pogodalla, Carl Pollard
article
Makoto Kanazawa and Hiroakira Ono and Ruy de Queiroz. Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, Jun 2009, Tokyo, Japan. Springer, 5514, pp.182-196, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02261-6_15〉
DOI
DOI : 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
titre
On the Proof Complexity of Deep Inference
auteur
Paola Bruscoli, Alessio Guglielmi
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
titre
Sequential decomposition of operations and compilers optimization
auteur
Mumtaz Ahmad, Serge Burckel, Adam Cichon
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
titre
Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II
auteur
Sylvain Pogodalla
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
titre
From Semantic Graphs to Logic Formulae
auteur
Guy Perrier, Mathieu Morey, Maxime Amblard
article
[Research Report] 2009, pp.9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00415793/file/PerrierMoreyAmblardEACL09.pdf BibTex
titre
Interaction Grammars
auteur
Bruno Guillaume, Guy Perrier
article
Research on Language and Computation, Springer Verlag, 2009, 7 (2-4), pp.171-208. 〈10.1007/s11168-010-9066-x〉
DOI
DOI : 10.1007/s11168-010-9066-x
Accès au bibtex
BibTex
titre
Personal Portrait of Giorgio Levi
auteur
Alessio Guglielmi
article
Theoretical Computer Science, Elsevier, 2009, 410 (46), pp.4605--4607
Accès au bibtex
BibTex

2008

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

2007

titre
Type-theoretic extensions of Abstract Categorial Grammars
auteur
Philippe De Groote, Sarah Maarek
article
2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00187759/file/paper.pdf BibTex
titre
La coordination dans les grammaires d'interaction
auteur
Joseph Le Roux
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
titre
On two Extensions of Abstract Categorial Grammars
auteur
Philippe De Groote, Sarah Maarek, Ryo Yoshinaka
article
Nachum Dershowitz and Andrei Voronkov. 14th International Conference on Logic for Programming, Artificial Intel ligence and Reasoning - LPAR 2007, Oct 2007, Yerevan, Armenia. Springer, 4790, pp.273-287, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-75560-9_21〉
DOI
DOI : 10.1007/978-3-540-75560-9_21
Accès au bibtex
BibTex
titre
Améliorer un lexique syntaxique à l'aide des tables du Lexique-Grammaire : Adverbes en -ment
auteur
Benoît Sagot, Karen Fort
article
26e Colloque International sur le Lexique et la grammaire 2007, Oct 2007, Bonifacio, France. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186779/file/LG07.pdf BibTex
titre
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic
auteur
Maxime Amblard, Christian Retoré
article
2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00941206/file/ambretcietorev.pdf BibTex
titre
A French Interaction Grammar
auteur
Guy Perrier
article
Galia Angelova and Kalina Bontcheva and Ruslan Mitkov and Nicolas Nicolov and Kiril Simov. International Conference on Recent Advances in Natural Language Processing - RANLP 2007, Sep 2007, Borovets, Bulgaria. INCOMA Ltd, Shoumen, Bulgaria, pp.463-467, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184108/file/perrier.pdf BibTex
titre
INtersection Optimization is NP-Complete
auteur
Guillaume Bonfante, Joseph Le Roux
article
Sixth International Workshop on Finite-State Methods and Natural Language Processing - FSMNLP 2007, Sep 2007, Postdam, Germany. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00185232/file/intersection.pdf BibTex
titre
PrepLex: a Lexicon of French Prepositions for Parsing
auteur
Karen Fort, Bruno Guillaume
article
4th ACL-SIGSEM Workshop on Prepositions, Jun 2007, Prague, Czech Republic. pp.0, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186777/file/PrepLex_ACLSIGSEM07.pdf BibTex
titre
PrepLex : un lexique des prépositions du français pour l'analyse syntaxique
auteur
Karen Fort, Bruno Guillaume
article
Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186761/file/prep.pdf BibTex
titre
Ambiguïté de portée et approche fonctionnelle des TAG
auteur
Sylvain Pogodalla
article
Nabil Hathout; Philippe Muller. Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2007), Jun 2007, Toulouse, France. pp.325--334, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00141913/file/pogodalla-taln07.pdf BibTex
titre
Une grammaire d'interaction du français
auteur
Guy Perrier
article
Nabil Hathout & Philippe Müller. Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. IRIT Press, pp.453-462, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00184102/file/main.pdf BibTex
titre
Intersection Optimization is NP Complete
auteur
Guillaume Bonfante, Joseph Le Roux
article
Rapport technique. 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00146671/file/intersection.pdf BibTex
titre
Generalizing a Proof-Theoretic Account of Scope Ambiguity
auteur
Sylvain Pogodalla
article
Harry Bunt. Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7), Jan 2007, Tilburg, Netherlands. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00112898/file/iwcs2007.pdf BibTex
titre
Intégration de la sémantique dans les Grammaires d'Interaction
auteur
Hassen Ben Zineb
article
Le présent travail est une étude qui s'inscrit dans le cadre d'un stage de recherche pour l'obt.. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00187468/file/master_ben_zineb.pdf BibTex
titre
Formalisation de la dynamique du langage à travers les grammaires d'interaction
auteur
Mathieu Morey
article
Rapport de stage de Master 2 informatique - spécialité Traitement Automatique des Langues. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00186754/file/rapport.pdf BibTex
titre
Modélisation de la coordination dans les grammaires d'interaction
auteur
Joseph Le Roux, Guy Perrier
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
titre
Exploring the Gap between Linear and Classical Logic
auteur
François Lamarche
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

2006

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

2005

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

2004

titre
The MetaGrammar Compiler: An NLP Application with a Multi-paradigm Architecture
auteur
Denys Duchier, Joseph Le Roux, Yannick Parmentier
article
Second International Mozart/Oz Conference - MOZ 2004, Oct 2004, Charleroi, Belgium. Springer Verlag, 3389, pp.175-187, 2004, Lecture Notes in Computer Science. 〈http://www.springer.com/fr/book/9783540250791〉
Accès au bibtex
BibTex
titre
Higher-order Matching in the Linear lambda-calculus with Pairing
auteur
Philippe De Groote, Sylvain Salvati
article
Jerzy Marcinkowski, Andrzej Tarlecki. 18th International Workshop on Computer Science Logic - CSL'2004, Sep 2004, Karpacz, Poland, Springer, 3210, pp.220-234, 2004, Lecture notes in Computer Science
Accès au bibtex
BibTex
titre
Metagrammar Redux
auteur
Benoît Crabbé, Denys Duchier
article
International Workshop on Constraint Solving and Language Processing - CSLP 2004, Sep 2004, Copenhagen, 16 p, 2004
Accès au bibtex
BibTex
titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
3rd IFIP International Conference on Theoretical Computer Science - TCS'2004, Aug 2004, Toulouse, France, Kluwer Academic Press, 14 p, 2004
Accès au bibtex
BibTex
titre
Using and Extending the ACG technology: Endowing Categorial Grammars with an Underspecified Semantic Representation
auteur
Sylvain Pogodalla
article
Michael Moortgat. Proceedings of the Categorial Grammars Conference, Jun 2004, Montpellier, France. pp.197-209, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00108117/file/A04-R-155.pdf BibTex
titre
Parsing with polarities
auteur
Guy Perrier
article
Categorial Grammars, Jun 2004, Montpellier/France, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000276/file/cg2004.pdf BibTex
titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
In 2nd APPSEM II Workshop - APPSEM'04, Apr 2004, Tallinn/Estonia, 2004
Accès au bibtex
BibTex
titre
Syntax and Semantics interacting in a Minimalist theory
auteur
Maxime Amblard, Alain Lecomte, Christian Retoré
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
titre
A New Algorithm for Normal Dominance Constraints
auteur
Manuel Bodirsky, Denys Duchier, Joachim Niehren, Sebastian Miele
article
J. Ian Munro. ACM-SIAM Symposium on Discrete Algorithms - SODA'2003, Jan 2004, New Orleans, Louisiana, United States. ACM Press, pp.59-67, 2004, SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms. 〈http://portal.acm.org/citation.cfm?id=982801〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536536/file/wndc.pdf BibTex
titre
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits
auteur
Sylvain Pogodalla, Christian Retoré
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
titre
Vertor Addition Tree Automata
auteur
Philippe De Groote, Bruno Guillaume, Sylvain Salvati
article
19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, pp.64-73, 2004
Accès au bibtex
BibTex
titre
On complexity analysis by quasi-interpretation
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
2nd Appsem II workshop - APPSEM'04, 2004, Tallinn, Estonia, pp.85-95, 2004
Accès au bibtex
BibTex
titre
Apprentissage des grammaires catégorielles à partir de structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
Conférence Francophone d'Apprentissage - CAp'2004, 2004, Montpellier, France, Presse universitaire de Grenoble, pp.315-330, 2004
Accès au bibtex
BibTex
titre
On Proof Nets for Multiplicative Linear Logic with Units
auteur
Lutz Strassburger, François Lamarche
article
Jerzy Marcinkowski and Andrzej Tarlecki. 18th International Workshop on Computer Science Logic - CSL'2004, 2004, Karpacz, Poland, Springer-Verlag, 3210, pp.145--159, 2004, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
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
titre
Learning Tree Languages from Positive Examples and Membership Queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Shai Ben-David and John Case and Akira Maruoka. 15th international conference on Algorithmic Learning Theory - ALT'2004, 2004, Padova, Italy, Springer, 3244, pp.440-453, 2004, Lecture notes in Artificial Intelligence
Accès au bibtex
BibTex
titre
Learning Dependency Languages from a Teacher
auteur
Jérôme Besombes, Jean-Yves Marion
article
9th conference on Formal Grammar, 2004, Nancy, France, 7 p, 2004
Accès au bibtex
BibTex
titre
Learning Reversible Categorial Grammars from Structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
Categorial Grammars, 2004, Montpellier, France, 10 p, 2004
Accès au bibtex
BibTex
titre
Naming Proofs in Classical Propositional Logic
auteur
François Lamarche, Lutz Strassburger
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
titre
Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
20th Conference on Computational Linguistics - CoLing'2004, 2004, Genève, Suisse, pp.303-309, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099886/file/A04-R-260.pdf BibTex
titre
La sémantique dans les grammaires d'interaction
auteur
Guy Perrier
article
11ième Conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN'2004, 2004, Fès, Maroc, France. 10 p, 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099887/file/A04-R-259.pdf BibTex
titre
On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms
auteur
Philippe De Groote, Sylvain Pogodalla
article
Journal of Logic, Language and Information, Springer Verlag, 2004, 13 (4), pp.421-438. 〈10.1007/s10849-004-2114-x〉
DOI
DOI : 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
titre
Resource Analysis by Quasi-Interpretations
auteur
Jean-Yves Marion
article
Sixth International Workshop on Logic and Computational Complexity, 2004, Turku, Finlande, 95 p., 2004
Accès au bibtex
BibTex
titre
Vers un statut de l'arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d'Arbres Adjoints
auteur
Sylvain Pogodalla
article
Bernard Bel; Isabelle Marlien. Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2004), 2004, Fès, Maroc. Association pour le Traitement Automatique des Langues, pp.377-386, 2004, 〈http://talnarchives.atala.org/TALN/TALN-2004/taln-2004-long-003.pdf〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107767/file/A04-R-050.pdf BibTex
titre
Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees
auteur
Sylvain Pogodalla
article
Owen Rambow; Mattew Stone. Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), 2004, Vancouver, BC, Canada. pp.64-71, 2004, 〈http://www.aclweb.org/anthology/W04-3309〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107768/file/A04-R-058.pdf BibTex
titre
Learning regular trees with queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Mieczyslaw A. Klopotek and Slawomir T. Wierzchon and Krzsztof Trojanowski. Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM'04, 2004, Zakopane, Pologne, Springer, pp.181-190, 2004, Advances in Soft Computing
Accès au bibtex
BibTex
titre
Editorial : Implicit Computational Complexity (ICC)
auteur
Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 2004, 318 (1-2), pp.1
Accès au bibtex
BibTex

2003

titre
Les grammaires d'interaction
auteur
Guy Perrier
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
titre
Semantically-based text authoring and the concurrent documentation of experimental protocols
auteur
Caroline Brun, Marc Dymetman, Eric Fanchon, Stanislas Lhomme, Sylvain Pogodalla
article
Cécile Roisin and Ethan V. Munson and Christine Vanoirbeek. ACM Symposium on Document Engineering - DocEng 2003, Nov 2003, Grenoble, France. ACM New York, NY, USA, pp.193-202, 2003, DocEng '03 Proceedings of the 2003 ACM symposium on Document engineering. 〈http://doi.acm.org/10.1145/958220.958256〉. 〈10.1145/958220.958256〉
DOI
DOI : 10.1145/958220.958256
Accès au bibtex
BibTex
titre
Semantics for Interaction Grammars
auteur
Guy Perrier
article
Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, Oct 2003, Nancy, France, France. 4 p, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107707/file/A03-R-309.pdf BibTex
titre
Strong Normalization of the Typed lambda_ws-calculus
auteur
René David, Bruno Guillaume
article
Matthias Baaz and Johann A. Makowsky. Computer Science Logic'03, Aug 2003, Vienna, Austria. Springer, 2803, pp.155-168, 2003, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/inria-00099580/file/csl_17.pdf BibTex
titre
An Efficient Graph Algorithm for Dominance Constraints
auteur
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
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. 〈http://portal.acm.org/citation.cfm?id=989537〉. 〈10.1016/S0196-6774(03)00050-6〉
DOI
DOI : 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
titre
Apprentissage des langages réguliers d'arbres à l'aide d'un expert
auteur
Jérôme Besombes, Jean-Yves Marion
article
Conférence d'Apprentissage - CAP'2003, Jul 2003, Laval, France, 16 p, 2003
Accès au bibtex
BibTex
titre
On the complexity of higher-order matching in the linear $\lambda$-calculus
auteur
Sylvain Salvati, Philippe De Groote
article
Robert Nieuwenhuis. International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, 2706, pp.234-245, 2003, Lecture notes in Computer Science
Accès au bibtex
BibTex
titre
m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars
auteur
Philippe De Groote, Sylvain Pogodalla
article
Richard T. Oehrle and James Rogers. Proceedings of Eighth Meeting on Mathematics of Language (MOL 8), Jun 2003, Bloomington, Indiana, United States. pp.71-80, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107690/file/A03-R-243.pdf BibTex
titre
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Fifth International Workshop on Implicit Computational Complexity - ICC'2003, Jun 2003, Ottawa, Canada, 90/1 (1), 13 p, 2003, Electronic Notes in Computer Science
Accès au bibtex
BibTex
titre
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Andrew D. Gordon. Foundations of Software Science and Computation Structures - FOSSACS'03, Apr 2003, Warsaw, Poland, Springer, 2620, pp.185-199, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Analyse syntaxique électrostatique
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
Traitement Automatique des Langues, Lavoisier (Hermes Science Publications), 2003, 44 (3), pp.93-120
Accès au bibtex
BibTex
titre
The QSL platform at LORIA
auteur
Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz
article
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099497/file/A03-R-539.pdf BibTex
titre
A Meta-Grammatical Framework for Dependency Grammar
auteur
Ralph Debusmann, Denys Duchier
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
titre
Termination and resource analysis of assembly programs by Petri nets
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
[Research Report] A03-R-348 || marion03a, 2003, 13 p
Accès au bibtex
BibTex
titre
Vers une Géométrie Symbolique
auteur
François Lamarche
article
[Interne] A03-R-423 || lamarche03a, 2003, 8 p
Accès au bibtex
BibTex
titre
Apprentissage des langages réguliers d'arbres et applications
auteur
Jérôme Besombes, Jean-Yves Marion
article
Traitement automatique de langues, 2003, 44 (1), pp.121-153
Accès au bibtex
BibTex
titre
Analysing the implicit complexity of programs
auteur
Jean-Yves Marion
article
Information and Computation, Elsevier, 2003, 183, pp.2-18
Accès au bibtex
BibTex
titre
On the Algebra of Structural Contexts
auteur
François Lamarche
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
titre
Configuration of Labeled Trees under Lexicalized Constraints and Principles
auteur
Denys Duchier
article
Research on Language and Computation, Springer Verlag, 2003, 1 (3-4), pp.307-336
Accès au bibtex
BibTex
titre
Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment
auteur
Denys Duchier
article
Theoretical Computer Science, Elsevier, 2003, 293 (2), pp.321-343
Accès au bibtex
BibTex

2002

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

2001

titre
Réseaux de preuve et génération pour les grammaires de types logiques
auteur
Sylvain Pogodalla
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
titre
Identification reversible dependency tree languages
auteur
Jérôme Besombes, Jean-Yves Marion
article
3rd Learning Language in Logic (LLL) Workshop, Sep 2001, Strasbourg, France, 12 p, 2001
Accès au bibtex
BibTex
titre
Towards abstract categorial grammars
auteur
Philippe De Groote
article
Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, pp.148-155, 2001
Accès au bibtex
BibTex
titre
An Analyser of Rewriting Systems Complexity
auteur
Jean-Yves Moyen
article
Workshop on Implicit Computational Complexity, May 2001, Aarhus, Denmark. BRICS, pp.93-99, 2001
Accès au bibtex
BibTex
titre
A lambda-calculus with explicit weakening and explicit substitution
auteur
René David, Bruno Guillaume
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
titre
On lexicographic termination ordering with space bound certifications
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
D. Bjorner, M. Broy, A. Zamulin. International Andrei Ershov Memorial Conference - PSI'01, 2001, Novosibirsk, Russia, Springer, 2244, pp.482-493, 2001, Lecture notes in Computer Science
Accès au bibtex
BibTex
titre
System presentation: An analyser of rewriting system complexity
auteur
Jean-Yves Moyen
article
Mark van der Brand. Second International Workshop on Rule-Based Programming - RULE'01, 2001, Firenze, Italy, Elsevier, 59/4 (4), 7 p, 2001, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex
titre
Logical Aspects of Computational Linguistics
auteur
Philippe De Groote, Glyn Morrill, Christian Retoré
article
Springer, 310 p, 2001, Lecture Notres in Artificial Intelligence
Accès au bibtex
BibTex
titre
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions
auteur
Guy Perrier
article
Robert Nieuwenhuis, Andrei Voronkov. 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR 2001, 2001, Havana, Cuba, France. Springer, 2250, pp.233-248, 2001, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex
titre
A model of a dependent linear calculus
auteur
Guillaume Bonfante, François Lamarche, Thomas Streicher
article
[Intern report] A01-R-262 || bonfante01c, 2001, 13 p
Accès au bibtex
BibTex
titre
Actual arithmetic and feasibility
auteur
Jean-Yves Marion
article
L. Fribourg. International Workshop on Computer Science Logic - CSl'2001, 2001, Paris, France, Springer, 2142, pp.115--129, 2001, Lecture notes in Computer Science
Accès au bibtex
BibTex
titre
Stochastic Lambek Categorial Grammars
auteur
Guillaume Bonfante, Philippe De Groote
article
Lawrence Moss. Formal Grammars and Mathematics of Langage Conference - FGMOl'01, 2001, Helsinki, Finland, 5 (5), 9 p, 2001, Electronic Notes in Computer Science
Accès au bibtex
BibTex
titre
Une théorie informative de l'apprentissage
auteur
Jérôme Besombes, Jean-Yves Marion
article
[Interne] A01-R-014 || besombes01a, 2001, 7 p
Accès au bibtex
BibTex
titre
Algorithms with Polynomial Interpretation Termination Proof
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Helene Touzet
article
Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (1), pp.33-53
Accès au bibtex
BibTex

2000

titre
Efficient first order functional program interpreter with time bound certifications
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
M. Parigot & A. Voronkov. International Conference on Logic Programming & Automated Reasoning - LPAR'2000, Nov 2000, Reunion Island, France, Springer-Verlag, 1955, pp.25-42, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
The Light Lexicographic path Ordering
auteur
Adam Cichon, Jean-Yves Marion
article
Workshop RULE'2000, Sep 2000, Montréal, Canada, 17 p, 2000
Accès au bibtex
BibTex
titre
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
auteur
Sylvain Pogodalla
article
Martin Kay. Proceedings of the 18th International Conference on Computational Linguistics (COLING 2000), Aug 2000, Sarrebrück, Germany. 2, pp.628-634, 2000, 〈http://www.aclweb.org/anthology-new/C00-2091〉
Accès au bibtex
BibTex
titre
Complexity characterisation of restrictions of KBO
auteur
Guillaume Bonfante
article
Implicit computational complexity, May 2000, Santa Barbara, US, 12 p, 2000
Accès au bibtex
BibTex
titre
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets
auteur
Sylvain Pogodalla
article
Janyce Wiebe. 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, 2000, 〈http://www.aclweb.org/anthology/A00-2010〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099268/file/pogodalla-naacl00.pdf BibTex
titre
Generation with Semantic Proof Nets
auteur
Sylvain Pogodalla
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
titre
From Intuitionistic Proof Nets to Interaction Grammars
auteur
Guy Perrier
article
TAG + 5, 2000, Paris/France, 9 p, 2000
Accès au bibtex
BibTex
titre
Interaction Grammars
auteur
Guy Perrier
article
Proceedings of 18th International Conference on Computational Linguistics - CoLing 2000, 2000, Sarrebrück/Germany, France. 7 p, 2000
Accès au bibtex
BibTex
titre
A monotone lambda-calculus: the example of ordinal terms
auteur
Guillaume Bonfante, François Lamarche
article
[Intern report] A00-R-180 || bonfante00a, 2000, 15 p
Accès au bibtex
BibTex
titre
Linear higher-order matching is NP-complete
auteur
Philippe De Groote
article
Leo Bachmair. International Conference on Rewriting Techniques & Applications - RTA'2000, 2000, Norwich, UK, Springer-Verlag, 1833, pp.127-140, 2000, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Beyond Trees
auteur
François Lamarche
article
V. Goranko. Workshop on Trees - ESSLI 2000, 2000, Birmingham, UK, 13 p, 2000
Accès au bibtex
BibTex
titre
Proof-search in implicative linear logic as a matching problem
auteur
Philippe De Groote
article
Michel Parigot, Andrei Voronkov. International Conference on Logic for Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, Springer, 1955, pp.257-274, 2000, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex
titre
On the semantics of static exception handling
auteur
Philippe De Groote, Catherine Pilière
article
[Intern report] A00-R-197 || de_groote00a, 2000, 16 p
Accès au bibtex
BibTex
titre
A proof theoretic approach to feasible computation
auteur
Jean-Yves Marion
article
[Interne] A00-R-375 || marion00d, 2000, 17 p
Accès au bibtex
BibTex
titre
A space optimal algorithm to solve a problem
auteur
Jérôme Besombes
article
[Intern report] A00-R-135 || besombes00a, 2000, 5 p
Accès au bibtex
BibTex
titre
Displacement Games as a model of linear logic
auteur
François Lamarche
article
[Intern report] A00-R-379 || lamarche00b, 2000, 6 p
Accès au bibtex
BibTex
titre
Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space
auteur
Daniel Leivant, Jean-Yves Marion
article
Information and Computation, Elsevier, 2000, 12 p
Accès au bibtex
BibTex
titre
A characterization of alternating log time by ramified recurrence
auteur
Daniel Leivant, Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 2000, 236 (1-2), pp.192-208
Accès au bibtex
BibTex

1999

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

1998

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

1997

titre
Logical Aspects of Computational Linguistics - selected papers from LACl'97
auteur
Alain Lecomte, François Lamarche, Guy Perrier
article
A. Lecomte, F. Lamarche, G. Perrier. 2th International Conference on Logical Aspects of Computational Linguistics, 1997, Nancy, France, Springer Verlag, 1582, 251 p, 1997, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex

1996

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