Publications

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

Publications HAL du labo/EPI SEMAGRAMME ; CALLIGRAMME

2024

auteur
Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur
titre
ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars
article
17th International Symposium on Functional and Logic Programming (FLOPS 2024), May 2024, Kumamoto, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04479621/file/ACGtk.pdf BibTex
auteur
Marc M Anderson, Karën Fort
titre
Evaluating the acceptability of ethical recommendations in industry 4.0: an ethics by design approach
article
AI & Society: Knowledge, Culture and Communication, 2024, ⟨10.1007/s00146-023-01834-7⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04390447/file/Preprint_Evaluating%20Acceptability_AI%26Soc12012024.pdf BibTex
auteur
Hee-Soo Choi, Priyansh Trivedi, Mathieu Constant, Karën Fort, Bruno Guillaume
titre
Beyond Model Performance: Can Link Prediction Enrich French Lexical Graphs?
article
The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING), May 2024, Turin, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04537462/file/LREC_COLING2024-VF.pdf BibTex
auteur
Karën Fort, Aurélie Névéol
titre
Ethics and NLP: 10 years after
article
Journée d’études ATALA “éthique et TAL : 10 ans après”, 2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04533870/file/ActesJEEthiqueEtTAL2024.pdf BibTex
auteur
Hee-Soo Choi, Marie Cousin, Amandine Decker, Valentin D Richard
titre
PENSE M’EN
article
THINK BEFORE LOADING, , 2024, 978-2-9591975-0-5
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-04509290/file/DYSTOPIES_PENSEMEN.pdf BibTex
auteur
Alice Millour, Yoann Dupont, Karën Fort, Liam Duignan
titre
Unveiling Strengths and Weaknesses of NLP Systems Based on a Rich Evaluation Corpus: the Case of NER in French
article
LREC-COLING 2024, May 2024, Turin, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04534593/file/FENEC_LREC_2024.pdf BibTex
auteur
Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
Où la frugalité rejoint l’éthique : utilisation de données synthétiques pour la reconnaissance d’entités cliniques
article
Journée d’étude sur le traitement automatique des langues frugal et la recherche d’information frugale, ATALA, Jan 2024, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-04438229/file/TAL_frugal_2024.pdf BibTex
auteur
Amandine Decker, Maxime Amblard
titre
With a Little Help from my (Linguistic) Friends: Topic Segmentation of Multi-party Casual Conversations
article
CODI 2024 – 5th workshop on Computational Approaches to Discourse, Mar 2024, Malta, Malta
Accès au texte intégral et bibtex
https://hal.science/hal-04425655/file/CODI%20TextTiling%2Fmain.pdf BibTex
auteur
Karën Fort, Marc M Anderson, Aurore Coince, Mathieu D’aquin, Maxime Amblard, Sarah E. Carter, Ilaria Tiddi, Diane Ranville
titre
Think before loading
article
2024, 978-2-9591975-0-5
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-04539948/file/DYSTOPIES_francais_VF.pdf BibTex
auteur
Guillaume Coiffier, Sewade Ogun, Leo Valque, Priyansh Trivedi
titre
STATE OF THE ART
article
THINK BEFORE LOADING, 2024, 978-2-9591975-0-5
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-04509255/file/DYSTOPIES_STATEOFTHEART.pdf BibTex
auteur
Siyana Pavlova, Maxime Amblard, Bruno Guillaume
titre
YARN is All You Knit: Encoding Multiple Semantic Phenomena with Layers
article
The Fifth International Workshop in Designing Meaning Representation, May 2024, Turin, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04551796/file/YARN_is_all_you_knit___DMR_2024.pdf BibTex
auteur
Bruno Guillaume, Kim Gerdes, Kirian Guiller, Sylvain Kahane, Yixuan Li
titre
Joint Annotation of Morphology and Syntax in Dependency Treebanks
article
The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING), May 2024, Turino, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04550108/file/mSUD.pdf BibTex
auteur
Nicolas Hiebel, Bertrand Remy, Bruno Guillaume, Olivier Ferret, Aurélie Névéol, Karën Fort
titre
Hostomytho: A GWAP for Synthetic Clinical Texts Evaluation and Annotation
article
Games and Natural Language Processing Workshop at LREC-COLING 2024, May 2024, Turin, Italy, May 2024, Turin (Italie), Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04555052/file/Games_and_NLP_2024___Hostomytho.pdf BibTex
auteur
Hugo Boulanger, Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
Using Structured Health Information for Controlled Generation of Clinical Cases in French
article
The 6th Clinical Natural Language Processing Workshop At NAACL 2024 (ClinicalNLP 2024), Jun 2024, Mexico city, Mexico
Accès au texte intégral et bibtex
https://hal.science/hal-04558890/file/Codeine_clinicalNLP.pdf BibTex
auteur
Chuyuan Li, Chloé Braud, Maxime Amblard, Giuseppe Carenini
titre
Discourse Relation Prediction and Discourse Parsing in Dialogues with Minimal Supervision
article
5th Workshop on Computational Approaches to Discourse (CODI 2024) co-located with EACL 2024, Heidelberg Institute for Theoretical Studies (HITS), Mar 2024, Malte, Malta
Accès au texte intégral et bibtex
https://hal.science/hal-04524155/file/Lisa_eacl2024__codi24.pdf BibTex
auteur
Aaron Boussidan, Fanny Ducel, Aurélie Névéol, Karën Fort
titre
What ChatGPT tells us about ourselves
article
Journée d’étude Éthique et TAL 2024, Apr 2024, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04521121/file/WhatChatGPTtells.pdf BibTex
auteur
Karën Fort, Laura Alonso Alemany, Luciana Benotti, Julien Bezançon, Claudia Borg, Marthese Borg, Yongjian Chen, Fanny Ducel, Yoann Dupont, Guido Ivetta, Zhijian Li, Margot Mieskes, Marco Naguib, Yuyan Qian, Matteo Radaelli, Wolfgang S. Schmeisser-Nieto, Emma Raimundo Schulz, Thiziri Saci, Sarah Saidi, Javier Torroba Marchante, Shilin Xie, Sergio E. Zanotto, Aurélie Névéol
titre
Your Stereotypical Mileage may Vary: Practical Challenges of Evaluating Biases in Multiple Languages and Cultural Contexts
article
The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, May 2024, Turin (Italie), Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04537096/file/MCP_LREC_final.pdf BibTex

2023

auteur
Valentin D. Richard
titre
Est-ce que l’extraction des interrogatives du français peut-elle être automatisée ?
article
5èmes journées du Groupement de Recherche CNRS « Linguistique Informatique, Formelle et de Terrain » (LIFT 2023), Nov 2023, Nancy, France. pp.69-76
Accès au texte intégral et bibtex
https://hal.science/hal-04359947/file/PDF.pdf BibTex
auteur
Chuyuan Li
titre
Facing Data Scarcity in Dialogues for Discourse Structure Discovery and Prediction
article
Machine Learning [cs.LG]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0107⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04218515/file/DDOC_T_2023_0107_LI.pdf BibTex
auteur
Bruno Guillaume
titre
Multi-layer querying in Corpora: Example of Parseme and UD
article
UniDive 1st general meeting, Mar 2023, Saclay, France.
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04387830/file/44_guillaume_multi_layer_querying_in_corpora.pdf BibTex
auteur
Amandine Decker, Maxime Amblard, Ellen Breitholtz
titre
Analysing topic shifts in task-oriented dialogues
article
Journées scientifiques du GDR Lift – LIFT 2023, Nov 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04356426/file/GdR_LIFT_2023___ChatTool_experiments%20%281%29%20copie.pdf BibTex
auteur
Chuyuan Li, Patrick Huber, Wen Xiao, Maxime Amblard, Chloé Braud, Giuseppe Carenini
titre
Discourse Structure Extraction from Pre-Trained and Fine-Tuned Language Models in Dialogues
article
European Chapter of the Association for Computational Linguistics (EACL), May 2023, Dubrovnik, Croatia. pp.2562-2579
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-04031267/file/lisa_eacl23_codi_submission.pdf BibTex
auteur
Yannick Parmentier, Sylvain Pogodalla, Rachel Bawden, Matthieu Labeau, Iris Eshkol-Taravella
titre
Procédure de diffusion des publications de l’ATALA sur les archives ouvertes
article
ATALA. 2023, pp.17
Accès au texte intégral et bibtex
https://hal.science/hal-04258177/file/publications_atala_rapport.pdf BibTex
auteur
Fanny Ducel, Aurélie Névéol, Karën Fort
titre
Bias Identification in Language Models is Biased
article
Workshop on Algorithmic Injustice 2023, Jun 2023, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04171198/file/1WAI1_paper_8_nonanonymous.pdf BibTex
auteur
Giuseppe Greco, Michael Moortgat, Valentin D. Richard, Apostolos Tzimoulis
titre
Lambek–Grishin Calculus: Focusing, Display and Full Polarization
article
Outstanding Contributions to Logic, 25, pp.877-915, 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond, ⟨10.1007/978-3-031-24117-8_24⟩
Accès au bibtex
https://arxiv.org/pdf/2011.02895 BibTex
auteur
Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
Les textes cliniques français générés sont-ils dangereusement similaires à leur source ? Analyse par plongements de phrases
article
18e Conférence en Recherche d’Information et Applications — 16e Rencontres Jeunes Chercheurs en RI — 30e Conférence sur le Traitement Automatique des Langues Naturelles — 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 2023, Paris, France. pp.46-54
Accès au texte intégral et bibtex
https://hal.science/hal-04130203/file/461752.pdf BibTex
auteur
Siyana Pavlova, Maxime Amblard, Bruno Guillaume
titre
A Layered Approach to Semantic Representation
article
Journées scientifiques du GDR Lift – LIFT 2023, Nov 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04356436/file/GDR_Lift___Layered_Meaning_Representation.pdf BibTex
auteur
Marie Cousin
titre
Meaning-Text Theory within Abstract Categorial Grammars: Towards Paraphrase and Lexical Function Modeling for Text Generation
article
IWCS 2023 – 15th International Conference on Computational Semantics, Jun 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04104453/file/article-IWCS-2023-camera-ready-version-v3.pdf BibTex
auteur
Marc M Anderson
titre
Exploring the Idea of Ethical Sustainability for Digital Manufacturing
article
2023, Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future. SOHOMA 2023. Studies in Computational Intelligence, Springer
Accès au bibtex
BibTex
auteur
Karën Fort, Joanna Jongwane
titre
Quelle éthique pour les agents conversationnels ? [podcast]
article
Interstices, 2023
Accès au bibtex
BibTex
auteur
Karën Fort
titre
Ethics by design for real : lessons learned from an industry 4.0 European project
article
ERGO’IA, Oct 2023, Biarritz (France), France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04366784/file/ERGOIA2023.pdf BibTex
auteur
Valentin D. Richard
titre
L’Intelligence Artificielle, À quel prix ?
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04245627/file/AI_ethics.pdf BibTex
auteur
Guy Perrier
titre
Why is graph rewriting interesting for computational linguistics?
article
GURT/SyntaxFest 2023, Georgetown University, Mar 2023, Washington, United States
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
Deriving Formal Semantic Representations from Dependency Structures
article
Daisuke Bekki; Koji Mineshima; Elin McCready. Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers, 14213, Springer, pp.157-172, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-43977-3_10⟩
Accès au bibtex
BibTex
auteur
Marc M Anderson
titre
AI Ethics and the Lessons of History
article
2nd International Conference on the Ethics of Artificial Intelligence, Faculty of Arts and Humanities of the University of Porto, Nov 2023, Porto, Portugal
Accès au bibtex
BibTex
auteur
Amandine Decker, Ellen Breitholtz, Christine Howes, Staffan Larsson
titre
Topic and genre in dialogue
article
SEMDIAL 2023, Aug 2023, Maribor, Slovenia. pp.143-145
Accès au texte intégral et bibtex
https://hal.science/hal-04323083/file/topic-genre.pdf BibTex
auteur
Izaskun Fernandez, Kerman Lopez de Calle, Eider Garate, Regis Benzmuller, Melodie Kessler, Marc Anderson
titre
Human-Feedback for AI in Industry
article
CENTRIC 2023, The Sixteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services, Nov 2023, Valencia, Spain
Accès au bibtex
BibTex
auteur
Karën Fort, Claire Gardent, Yannick Parmentier
titre
Actes des 5èmes journées du Groupement de Recherche CNRS « Linguistique Informatique, Formelle et de Terrain »
article
pp.135, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-04313917/file/proceedings.pdf BibTex
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
Function words in Surface-Syntactic Universal Dependencies
article
T. Osborne. Function words in dependency syntax, John Benjamins Publishing Company, In press
Accès au bibtex
BibTex
auteur
Mohamed Abdalla, Jan Philip Wahle, Terry Ruas, Aurélie Névéol, Fanny Ducel, Saif M. Mohammad, Karën Fort
titre
The Elephant in the Room: Analyzing the Presence of Big Tech in Natural Language Processing Research
article
61st Annual Meeting of the Association for Computational Linguistics, Jul 2023, Toronto, Canada. pp.13141-13160
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04105994/file/ACL23_IndustryPresenceNLP-4.pdf BibTex
auteur
Marc M Anderson
titre
How we will Discover Sentience in AI
article
Journal of Social Computing, In press, 4 (3), ⟨10.23919/JSC.2023.0019⟩
Accès au bibtex
BibTex
auteur
Philippe de Groote, Maxime Guillaume, Agathe Helman, Sylvain Pogodalla, Raphaël Salmon
titre
Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice
article
Logic and Engineering of Natural Language Semantics 20 (LENLS20), Nov 2023, Osaka, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04328753/file/f-acg.pdf BibTex
auteur
Sylvain Kahane, Santiago Herrera, Bruno Guillaume, Kim Gerdes
titre
Autogramm : développement simultané de treebanks et de grammaires à partir de corpus
article
18e Conférence en Recherche d’Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, 2023, Paris, France. pp.37-42
Accès au texte intégral et bibtex
https://hal.science/hal-04208598/file/481854.pdf BibTex
auteur
Valentin D. Richard, Floris Roelofsen
titre
Proceedings of the 4th Workshop on Inquisitiveness Below and Beyond the Sentence Boundary
article
4th Workshop on Inquisitiveness Below and Beyond the Sentence Boundary (InqBnB4), Association for Computational Linguistics, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-04358496/file/2023.inqbnb-1.pdf BibTex
auteur
Vincent-Thomas Barrouillet, Maxime Amblard, Michel Musiol
titre
Vers un repérage automatique des discontinuités dans le discours pathologique du sujet schizophrène
article
Journées scientifiques du GDR Lift – LIFT 2023, Nov 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04356448/file/D7.pdf BibTex
auteur
Siyana Pavlova, Maxime Amblard, Bruno Guillaume
titre
Bridging Semantic Frameworks: mapping DRS onto AMR
article
The 15th International Conference on Computational Semantics (IWCS 2023), Jun 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04129563/file/Bridging_Semantic_Frameworks__mapping_DRS_onto_AMR%20%282%29.pdf BibTex
auteur
Jacques Jayez
titre
Argumentation et probabilités, ou pourquoi l’argumentation rationnelle n’est pas (toujours) un raisonnement
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04393794/file/argumentation_et_probabilit%C3%A9.pdf BibTex
auteur
Hee-Soo Choi, Karën Fort, Bruno Guillaume, Mathieu Constant
titre
Des ressources lexicales du français et de leur utilisation en TAL : étude des actes de TALN
article
18e Conférence en Recherche d’Information et Applications — 16e Rencontres Jeunes Chercheurs en RI — 30e Conférence sur le Traitement Automatique des Langues Naturelles — 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2023, Paris, France. pp.23-36
Accès au texte intégral et bibtex
https://hal.science/hal-04130208/file/TALN2023_VF.pdf BibTex
auteur
Marc M Anderson
titre
Rare Opportunity or History Revisited? The Pitfalls and Prospects for Ethical AI in light of Public Ethical Responses to the Telegraph
article
Studia Philosophica Wratislaviensia, In press, 18 (3)
Accès au bibtex
BibTex
auteur
Philippe de Groote
titre
On the semantics of dependencies: relative clauses and open clausal complements – extended abstract
article
Logic and Engineering of Natural Language Semantics 20 (LENLS20), Nov 2023, Osaka, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04402969/file/RevisedAbstract.pdf BibTex
auteur
Siyana Pavlova, Maxime Amblard, Bruno Guillaume
titre
Structural and Global Features for Comparing Semantic Representation Formalisms
article
The 4th International Workshop on Designing Meaning Representation, Jun 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04129557/file/Cross_framework_comparison___DMR_2023%20%283%29.pdf BibTex
auteur
Chuyuan Li, Maxime Amblard, Chloé Braud
titre
A Semi-supervised Dialogue Discourse Parsing Pipeline
article
Journées Scientifiques du GDR Lift (LIFT 2023), Nov 2023, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04356416/file/Lisa_GdR_lift2023%20%282%29.pdf BibTex
auteur
Marc M Anderson
titre
AI as Philosophical Ideology: A Critical look back at McCarthy’s Program
article
Philosophy in Technology Workshop 2nd Edition, Wrocław University of Science and Technology; the Pontifical University of John Paul II, and the Polish Academy of Arts and Sciences, Apr 2023, Wrocław, Poland
Accès au bibtex
BibTex
auteur
Luciana Benotti, Karën Fort, Min-Yen Kan, Yulia Tsvetkov
titre
Understanding Ethics in NLP Authoring and Reviewing
article
European Chapter of the Association for Computational Linguistics, May 2023, Dubrovnic, Croatia. Association for Computational Linguistics, Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics: Tutorial Abstracts, pp.19-24, ⟨10.18653/v1/2023.eacl-tutorials.4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04400002/file/Ethics_Tutorial_Proposal.pdf BibTex
auteur
Agata Savary, Cherifa Ben Khelil, Carlos Ramisch, Voula Giouli, Verginica Barbu Mititelu, Najet Hadj Mohamed, Cvetana Krstev, Chaya Liebeskind, Hongzhi Xu, Sara Stymne, Tunga Güngör, Thomas Pickard, Bruno Guillaume, Archna Bhatia, Marie Candito, Polona Gantar, Uxoa Iñurrieta, Albert Gatt, Kovalevskaite Jolanta, Krek Simon, Timm Lichte, Nikola Ljubešić, Johanna Monti, Carla Parra Escartín, Mehrnoush Shamsfard, Ivelina Stoyanova, Veronika Vincze, Abigail Walsh
titre
PARSEME corpus release 1.3
article
Proceedings of the 19th Workshop on Multiword Expressions (MWE 2023), May 2023, Dubrovnik, Slovenia. pp.24-35, ⟨10.18653/v1/2023.mwe-1.6⟩
Accès au bibtex
BibTex
auteur
Bruno Guillaume
titre
Graph-based multi-layer querying in Parseme Corpora
article
Proceedings of the 19th Workshop on Multiword Expressions (MWE 2023), Jun 2023, Dubrovnic, Croatia. pp.58-64, ⟨10.18653/v1/2023.mwe-1.9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04387852/file/2023.mwe-1.9.pdf BibTex
auteur
Jacques Jayez
titre
(Innocent?) Bias in Argumentation
article
IMPAQTS (Implicit Manipulation in Politics – Quantitatively Assessing the Tendentiousness of Speeches) final conference, Roma III, Apr 2023, Rome, Italy
Accès au bibtex
BibTex
auteur
Marie Cousin
titre
Vers une implémentation de la théorie sens-texte avec les grammaires catégorielles abstraites
article
18e Conférence en Recherche d’Information et Applications — 16e Rencontres Jeunes Chercheurs en RI — 30e Conférence sur le Traitement Automatique des Langues Naturelles — 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2023, Paris, France. pp.72-86
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04100197/file/2023.jeptalnrecital-rjc.5.pdf BibTex
auteur
Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
Can Synthetic Text Help Clinical Named Entity Recognition? A Study of Electronic Health Records in French
article
The 17th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2023), May 2023, Dubrovnik, Croatia. ⟨10.18653/v1/2023.eacl-main.170⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04018935/file/EACL_synthetic_text.pdf BibTex
auteur
Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
Similarité surfacique et similarité sémantique dans des cas cliniques générés
article
Journée d’étude sur la Similarité entre Patients, ATALA, SimPa 2023, Mar 2023, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-04102816/file/HIEBEL_SimPa.pdf BibTex
auteur
Eric Ettore, Philipp Müller, Jonas Hinze, Matthias Riemenschneider, Michel Benoit, Bruno Giordana, Danilo Postin, Rene Hurlemann, Amandine Lecomte, Michel Musiol, Hali Lindsay, Philippe Robert, Alexandra König
titre
Digital Phenotyping for Differential Diagnosis of Major Depressive Episode: Narrative Review
article
JMIR Mental Health, 2023, 10, pp.e37225. ⟨10.2196/37225⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04402917/file/PDF.pdf BibTex

2022

auteur
Valentin D. Richard
titre
Is Natural Language Processing (NLP) Going in the Right Direction?
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03813509/file/seminar.pdf BibTex
auteur
Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
CLISTER : un corpus pour la similarité sémantique textuelle dans des cas cliniques en français
article
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03680571/file/CLISTER___TALN_RECITAL_2022_VF.pdf BibTex
auteur
Hee-Soo Choi
titre
État de l’art : Liage de ressources lexicales du français
article
TALN + RECITAL 2022 – 29e Conférence sur le Traitement Automatique des Langues Naturelles. 24e Rencontres Etudiants Chercheurs en Informatique pour le pour le Traitement Automatique des Langues (RECITAL), Jun 2022, Avignon, France. pp.55-68
Accès au texte intégral et bibtex
https://hal.science/hal-03705816/file/19.pdf BibTex
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
Starting a new treebank? Go SUD! Theoretical and practical benefits of the Surface-Syntactic distributional approach
article
SyntaxFest Depling 2021 – 6th International Conference on Dependency Linguistics, Mar 2022, Sofia, Bulgaria. pp.35-46
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03509136/file/gosud.pdf BibTex
auteur
Marc M Anderson, Karën Fort
titre
Ethical Internal Logistics 4.0: Observations and Suggestions from a Working Internal Logistics Case
article
12th International Workshop on Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, Sep 2022, Bucarest, Romania
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03768317/file/Ethical%20Internal%20Logistics%204_Preprint.pdf BibTex
auteur
Karën Fort
titre
Éthique et TAL : ce dont on parle, ce dont on ne parle plus, ce dont on ne parle pas (un état de l’art)
article
LIFT TAL 2022 – Journées Jointes des Groupements de Recherche « Linguistique Informatique, Formelle et de Terrain » et « Traitement Automatique des Langues », Nov 2022, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03943792/file/EtatDeArt_EthiqueEtTAL_LIFTTAL2022.pdf BibTex
auteur
Harry Bunt, Maxime Amblard, Johan Bos, Karën Fort, Philippe de Groote, Bruno Guillaume, Chuyuan Li, Pierre Ludmann, Michel Musiol, Siyana Pavlova, Guy Perrier, Sylvain Pogodalla
titre
Quantification Annotation in ISO 24617-12, Second Draft
article
Proceedings of the 13th Language Resources and Evaluation Conference (LREC 2022), Jun 2022, Marseille, France. pp.3407–3416
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03724057/file/lrec2022-Quant-v2.pdf BibTex
auteur
Santiago Herrera, Sylvain Kahane, Bruno Guillaume
titre
Extraction de règles de grammaire à partir de treebanks : développement d’un outil et premiers résultats
article
Journées Jointes des Groupements de Recherche Linguistique Informatique, Formelle et de Terrain (LIFT) et Traitement Automatique des Langues (TAL), Nov 2022, Marseille, France. pp.93-98
Accès au texte intégral et bibtex
https://hal.science/hal-03846825/file/2489.pdf BibTex
auteur
Alice Millour, Yoann Dupont, Alexane Jouglar, Karën Fort
titre
FENEC : un corpus à échantillons équilibrés pour l’évaluation des entités nommées en français
article
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03680569/file/TALN_2022_EN.pdf BibTex
auteur
Esteban Marquer, Safa Alsaidi, Amandine Decker, Pierre-Alexandre Murena, Miguel Couceiro
titre
A Deep Learning Approach to Solving Morphological Analogies
article
30th International Conference on Case-Based Reasoning (ICCBR2022), Sep 2022, Nancy, France. pp.159–174, ⟨10.1007/978-3-031-14923-8_11⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03660625/file/ICCBR___Analogy_Solving_by_Retrieval_in_Morphology___LNCS.pdf BibTex
auteur
William Babonnaud
titre
Sémantique lexicale, compositionnalité et coercions. Fondements théoriques des types sémantiques
article
Informatique [cs]. Université de Lorraine, 2022. Français. ⟨NNT : 2022LORR0312⟩
Accès au texte intégral et bibtex
https://hal.science/tel-03935669/file/babonnaud_these.pdf BibTex
auteur
Marc M Anderson
titre
Is the Future of AI Ethics Interdisciplinary?
article
Where AI Ethics Should Go, Archives Poincare; Weizsäcker Zentrum (University of Tübingen), Jun 2022, Tubingen, Germany
Accès au bibtex
BibTex
auteur
Chuyuan Li, Chloé Braud, Maxime Amblard
titre
Multi-Task Learning for Depression Detection in Dialogs
article
23rd Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL 2022), Sep 2022, Edinbourg, United Kingdom. pp.1-8, ⟨10.48550/arXiv.2208.10250⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03724305/file/main.pdf BibTex
auteur
Sylvain Kahane, Martine Vanhove, Rayan Ziane, Bruno Guillaume
titre
A morph-based and a word-based treebank for Beja
article
TLT 2021 – 20th International Workshop on Treebanks and Linguistic Theories. 21-25 March 2021, Sofia, Bulgaria, Association for Computational Linguistics, Mar 2022, Sofia, Bulgaria. pp.48-60
Accès au texte intégral et bibtex
https://hal.science/hal-03494462/file/Beja-syntaxfest2021.pdf BibTex
auteur
Jonathan Ginzburg, Zulipiye Yusupujiang, Chuyuan Li, Kexin Ren, Aleksandra Kucharska, Pawel Lupkowski
titre
Characterizing the response space of questions: data and theory
article
Dialogue & Discourse, 2022, 13, pp.79-132. ⟨10.5210/dad.2022.203⟩
Accès au bibtex
BibTex
auteur
Robert Reinecke, Tatjana A Nazir, Sarah Carvallo, Jacques Jayez
titre
Factives at hand: When presupposition mode affects motor response
article
Journal of Experimental Psychology: General, 2022, 151 (9), pp.2173-2194. ⟨10.1037/xge0001167⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03538732/file/Factives_at_Hand.pdf BibTex
auteur
Michel Musiol, Manuel Rebuschi, Samuel Buchel, Amandine Lecomte, Philippe de Groote, Maxime Amblard
titre
Le problème de l’analyse des troubles de la pensée dans le discours avec la personne schizophrène : proposition méthodologique
article
L’Évolution Psychiatrique, 2022, 87 (2), pp.347-369. ⟨10.1016/j.evopsy.2022.04.004⟩
Accès au bibtex
BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
A Multi-Party Dialogue Ressource in French
article
LREC 2022 – 13th Edition of Language Resources and Evaluation Conference, Jun 2022, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03724046/file/LREC_2022%20%282%29.pdf BibTex
auteur
Tatiana Anikina, Natalia Skachkova, Joseph Renner, Priyansh Trivedi
titre
Anaphora Resolution in Dialogue: System Description (CODI-CRAC 2022 Shared Task)
article
CODI-CRAC 2022 – 5th Workshop on Computational Models of Reference, Anaphora and Coreference, Oct 2022, Gyeongju, South Korea
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03925147/file/2022.codi-crac.2.pdf BibTex
auteur
Fanny Ducel, Karën Fort, Gaël Lejeune, Yves Lepage
titre
Langues « par défaut » ? Analyse contrastive et diachronique des langues non citées dans les articles de TALN et d’ACL
article
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03680565/file/TALN2022_BenderRule_VF.pdf BibTex
auteur
Marc Anderson, Karën Fort
titre
Human Where? A New Scale Defining Human Involvement in Technology Communities from an Ethical Standpoint
article
International Review of Information Ethics, 2022, 31 (1), ⟨10.29173/irie477⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03762035/file/HumanWhere_2022_04_14.pdf BibTex
auteur
Amandine Lecomte, Samuel Buchel, Nicolas Franck, Caroline Demily, Maxime Amblard, Michel Musiol
titre
Organisations et fonctions du comportement verbal de type “backchannels” dans l’interaction clinique avec la personne souffrant de schizophrénie
article
8eme Congrès mondial de linguistique française, Jul 2022, Orléans, France
Accès au bibtex
BibTex
auteur
Karën Fort
titre
Myriadisation et éthique pour le traitement automatique des langues
article
Traitement du texte et du document. ED n°77 : Informatique – Automatique – Électronique – Électrotechnique – Mathématiques de Lorraine (IAEM-Lorraine), 2022
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03873000/file/hdr_kf%20%281%29.pdf BibTex
auteur
Fanny Ducel, Karën Fort, Gaël Lejeune, Yves Lepage
titre
Do we Name the Languages we Study? The #BenderRule in LREC and ACL articles
article
LREC 2022 – International Conference on Language Resources and Evaluation (LREC), Jun 2022, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03680561/file/LREC2022_BenderRuleVF.pdf BibTex
auteur
Karën Fort, Aurélie Névéol, Yoann Dupont, Julien Bezançon
titre
Use of a Citizen Science Platform for the Creation of a Language Resource to Study Bias in Language Models for French: a case study
article
2nd LREC Workshop on Novel Incentives in Data Collection from People, Jun 2022, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03693686/file/NovelIncentivesPaper.pdf BibTex
auteur
Valentin D. Richard
titre
Simulating Feature Structures with Simple Types
article
Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Student Research Workshop, Jul 2022, Hybrid: Seattle, United States. pp.113-122, ⟨10.18653/v1/2022.naacl-srw.15⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03943681/file/2022.naacl-srw.15.pdf BibTex
auteur
Maxime Amblard, Bruno Guillaume, Siyana Pavlova, Guy Perrier
titre
Graph Querying for Semantic Annotations
article
ISA 2022 : 18th Joint ACL – ISO Workshop on Interoperable Semantic Annotation, Jun 2022, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03724068/file/2022.isa18-1.13.pdf BibTex
auteur
Philippe de Groote
titre
Ty2 revisited
article
HyLo 2022 — Workshop on Hybrid Logic and Applications, Apr 2022, Chania, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03940832/file/abstract.pdf BibTex
auteur
Amandine Lecomte, Samuel Buchel, Nicolas Franck, Caroline Demily, Maxime Amblard, Michel Musiol
titre
Organisations & fonctions du comportement verbal de type « backchannels » dans l’interaction clinique avec la personne souffrant de schizophrénie
article
SHS Web of Conferences, 2022, 138, pp.01014. ⟨10.1051/shsconf/202213801014⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04397776/file/shsconf_cmlf2022_01014.pdf BibTex
auteur
Aurélie Névéol, Yoann Dupont, Julien Bezançon, Karën Fort
titre
French CrowS-Pairs: Extending a challenge dataset for measuring social bias in masked language models to a language other than English
article
ACL 2022 – 60th Annual Meeting of the Association for Computational Linguistics, May 2022, Dublin, Ireland
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03629677/file/ACLFinal.pdf BibTex
auteur
Valentin D. Richard
titre
Introducing Proof Tree Automata and Proof Tree Graphs
article
SLSS 2022 – 11th Scandinavian Logic Symposium, Åsa Hirvonen; Fernando Velázquez-Quesada, Jun 2022, Bergen, Norway. pp.10-12
Accès au texte intégral et bibtex
https://hal.science/hal-03698581/file/SLSS2022-postprint.pdf BibTex
auteur
Marc M Anderson, Karën Fort
titre
From the Ground Up: Developing a Practical Ethical Methodology for Integrating AI into Industry
article
AI & Society: Knowledge, Culture and Communication, 2022, ⟨10.1007/s00146-022-⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03754737/file/AI4P_paper_Preprint.pdf BibTex
auteur
Alexandra König, Philipp Müller, Johannes Tröger, Hali Lindsay, Jan Alexandersson, Jonas Hinze, Matthias Riemenschneider, Danilo Postin, Eric Ettore, Amandine Lecomte, Michel Musiol, Maxime Amblard, François Bremond, Michal Balazia, Rene Hurlemann
titre
Multimodal phenotyping of psychiatric disorders from social interaction: Protocol of a clinical multicenter prospective study
article
Personalized Medicine in Psychiatry, 2022, 33-34, pp.100094. ⟨10.1016/j.pmip.2022.100094⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03968278/file/Multimodal-phenotyping-of-psychiatric-disorders-from-so_2022_Personalized-Me.pdf BibTex
auteur
Aurélie Névéol, Yoann Dupont, Julien Bezançon, Karën Fort
titre
French CrowS-Pairs: Extension à une langue autre que l’anglais d’un corpus de mesure des biais sociétaux dans les modèles de langue masqués
article
Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2022, Avignon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03680574/file/Evaluating_bias_in_masked_language_models_in_multiple_languages_VF.pdf BibTex
auteur
Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol
titre
CLISTER: A corpus for semantic textual similarity in French clinical narratives
article
LREC 2022 – 13th Language Resources and Evaluation Conference, Jun 2022, Marseille, France. pp.4306‑4315
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03740484/file/2022.lrec-1.459.pdf BibTex
auteur
Hee-Soo Choi, Bruno Guillaume, Karën Fort
titre
Corpus-based Language Universals Analysis using Universal Dependencies
article
SyntaxFest Quasy 2021 – Quantitative Syntax, Mar 2022, Sofia, Bulgaria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03501774/file/QUASY2021_annexe.pdf BibTex
auteur
Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote
titre
Multityped Abstract Categorial Grammars and Their Composition
article
WoLLIC 2022 – 28th International Workshop on Logic, Language, Information, and Computation, Sep 2022, Iaşi, Romania. pp.105-122, ⟨10.1007/978-3-031-15298-6_7⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03781596/file/oacg.pdf BibTex
auteur
Marc M Anderson
titre
Some Ethical Reflections on the EU AI Act
article
IAIL 2022: 1st International Workshop on Imagining the AI Landscape After the AI Act, Jun 2022, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03921857/file/SomeEthicalReflections_Anderson_Preprint.pdf BibTex
auteur
Siyana Pavlova, Maxime Amblard, Bruno Guillaume
titre
How much of UCCA can be predicted from AMR?
article
ISA 2022 : 18th Joint ACL – ISO Workshop on Interoperable Semantic Annotation, Jun 2022, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03724129/file/main.pdf BibTex
auteur
Philippe de Groote
titre
Deriving formal semantic representations from dependency structures – Extended Abstract
article
LENLS19 – Logic and Engineering of Natural Language Semantics 19, Nov 2022, Tokyo, Japan. pp.87-91
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03940888/file/PreProc.pdf BibTex
auteur
Giuseppe Greco, Michael Moortgat, Valentin D. Richard, Apostolos Tzimoulis
titre
Lambek-Grishin Calculus: focusing, display and full polarization
article
Topology, Algebra, and Categories in Logic (TACL 2022), Maria Manuel Clementino; Peter Jipsen; Jorge Picado, Jun 2022, Coimbra, Portugal. pp.79-81
Accès au texte intégral et bibtex
https://hal.science/hal-03727761/file/TACL_2022_paper_45.pdf BibTex
auteur
Marie Cousin
titre
Génération de texte avec les grammaires catégorielles abstraites et la théorie sens-texte
article
Informatique [cs]. 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03942766/file/rapport-pfe-cousin-marie.pdf BibTex

2021

auteur
Safa Alsaidi, Amandine Decker, Puthineath Lay, Esteban Marquer, Pierre-Alexandre Murena, Miguel Couceiro
titre
On the Transferability of Neural Models of Morphological Analogies
article
AIMLAI 2021 – workshop on Advances in Interpretable Machine Learning and Artificial Intelligence, Sep 2021, Bilbao/Virtual, Spain. pp.76-89
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03313591/file/AIMLAI2021___On_the_Transferability_of_Neural_Models_of_Morphological_Analogy.pdf BibTex
auteur
Nicolas Lasolle, Olivier Bruneau, Jean Lieber, Emmanuel Nauer, Siyana Pavlova
titre
Assister l’édition manuelle de données RDF à l’aide du raisonnement à partir de cas
article
IC 2021 – 32ème Journées Francophones d’Ingénierie des Connaissances, Jun 2021, Bordeaux/virtuel, France
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-03229501/file/IC_2021_Lasolle.pdf BibTex
auteur
Bruno Guillaume
titre
Graph Matching and Graph Rewriting: GREW tools for corpus exploration, maintenance and conversion
article
EACL 2021 – 16th conference of the European Chapter of the Association for Computational Linguistics, Apr 2021, Kiev/Online, Ukraine
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03177701/file/eacl2021.pdf BibTex
auteur
Chuyuan Li, Maxime Amblard, Chloé Braud, Caroline Demily, Nicolas Franck, Michel Musiol
titre
Investigating non lexical markers of the language of schizophrenia in spontaneous conversations
article
CODI 2021 – 2nd Workshop on Computational Approaches to Discourse, Nov 2021, Punta Cana, Dominican Republic. pp.20-28, ⟨10.18653/v1/2021.codi-main.3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03537698/file/codi2021_lisa%20%281%29.pdf BibTex
auteur
Rayan Ziane, Sylvain Kahane, Martine Vanhove, Bruno Guillaume
titre
A morph based and a word based treebank for beja
article
Daniel Dakota; Kilian Evang; Sandra Kübler. TLT 2021 – 20th International Workshop on Treebanks and Linguistic Theories, Mar 2021, Sofia, Bulgaria. Association for Computational Linguistics, Proceedings of the 20th International Workshop on Treebanks and Linguistic Theories (TLT, SyntaxFest 2021), 2021
Accès au texte intégral et bibtex
https://hal.science/hal-04095288/file/a%20morph-based%20and%20a%20word-based%20treebank%20for%20Beja.pdf BibTex
auteur
Hee-Soo Choi, Bruno Guillaume, Karën Fort, Guy Perrier
titre
Investigating Dominant Word Order on Universal Dependencies with Graph Rewriting
article
RANLP 2021 – Recent Advances in Natural Language Processing, Sep 2021, Online, Bulgaria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03322613/file/RANLP2021_VF.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
(In)coherence of Discourse. Formal and conceptual issues of language
article
Springer, 2021, Language, Cognition and Mind (Chungmin Lee “Editor Springer book series)
Accès au bibtex
BibTex
auteur
Maxime Amblard, Michel Musiol
titre
Ruptures dans le dialogue, les mots des patients
article
Journée “au-delà du mot” – ATILF, Jun 2021, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03614563/file/atilf-discours.pdf BibTex
auteur
Maxime Amblard, Manuel Rebuschi, Michel Musiol
titre
Corpus et pathologie mentale : particularités dans la constitution et l’analyse d’une ressource
article
Manuel Rebuschi; Christophe Benzitoun. Les corpus en sciences humaines et sociales, Presses Universitaires de Nancy, 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269622/file/3_Amblard-Musiol-Rebuschi_def.pdf BibTex
auteur
Sina Ahmadi, Mathieu Constant, Karën Fort, Bruno Guillaume, John P. Mccrae
titre
Convertir le Trésor de la Langue Française en Ontolex-Lemon : un zeste de données liées
article
Journées LIFT 2021 – Linguistique informatique, formelle et de terrain, Dec 2021, Grenoble, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03463294/file/ahmadi2021lift.pdf BibTex
auteur
Joseph Renner, Priyansh Trivedi, Gaurav Maheshwari, Rémi Gilleron, Pascal Denis
titre
An End-to-End Approach for Full Bridging Resolution
article
CODI-CRAC 2021 – Shared-Task: Anaphora Resolution in Dialogues, Nov 2021, Punta Cana, Dominican Republic. pp.48-54
Accès au texte intégral et bibtex
https://hal.science/hal-03431313/file/2021.codi-sharedtask.5.pdf BibTex
auteur
Annie Kuyumcuyan, Michel Musiol
titre
L’entretien clinique avec la personne polyhandicapée : un terrain commun sciences du langage / psychiatrie
article
Les sciences du langage face aux défis de la disciplinarisation et de l’interdisciplinarité. Malika Temmar, Marina Krylyschin, Guy Achard-Bayle (éds)., 2021, 978-2-35935-332-7
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03439236/file/AK%20MM%202021%20ch%20cognition-conv-polyh.pdf BibTex
auteur
Raja Chatila, Mohamed Chetouani, Renaud Debailly, Karën Fort, Ferdinand Dhombres, Emmanuel Fournier, Laïla Khellaf, Sophie Lavault, Sébastien Payan, Émilie Pesce, Agnès Roby-Brami, Monique van Donzel
titre
L’éthique de la recherche en temps de pandémie : un retour d’expérience
article
Pierre-Marie Chauvin et Annick Clement. Sorbonnavirus – Regards sur la crise du coronavirus, 2021
Accès au bibtex
BibTex
auteur
Sylvain Kahane, Martine Vanhove, Rayan Ziane, Bruno Guillaume
titre
A morpheme-based treebank for Beja
article
TLT 2021 – 20th International Workshop on Treebanks and Linguistic Theories, Association for Computational Linguistics, Mar 2021, Sofia, Bulgaria
Accès au texte intégral et bibtex
https://shs.hal.science/halshs-04004239/file/Beja-syntaxfest2021.pdf BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
Picturing Questions and Answers – a formal approach to SLAM
article
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse – Formal and Conceptual issues of Language, Springer, 2021, (In)coherence of discourse Formal and Conceptual issues of Language, ⟨10.1007/978-3-030-71434-5_4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269631/file/slamReviewed2.pdf BibTex
auteur
Maria Boritchev
titre
Dialogue Modeling in a Dynamic Framework
article
Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine – Informatique, Automatique, Électronique – Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩
Accès au texte intégral et bibtex
https://hal.science/tel-03541628/file/Dialogue-Modeling-in-Dynamic-Framework-MB.pdf BibTex
auteur
Nicolas Lasolle, Olivier Bruneau, Jean Lieber, Emmanuel Nauer, Siyana Pavlova
titre
A System to Assist Semantic Web Data Editing Through the Use of Case-Based Reasoning
article
ICCBR 2021 – 29th International Conference on Case-Based Reasoning, Sep 2021, Salamanca, Spain. pp.88-89
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-03485184/file/ICCBR_2021_demo_Lasolle.pdf BibTex
auteur
Mathilde Dargnat, Jacques Jayez
titre
Mais et associés
article
Lexique, 2021, 29, pp.211-228
Accès au texte intégral et bibtex
https://hal.science/hal-03538841/file/11_Dargnat%20%26%20Jayez_Mais%20et%20associ%C3%A9s_R%C3%A9vis%C3%A9%202.pdf BibTex
auteur
William Babonnaud
titre
On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories
article
ESSLLI 2021 – 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, Jul 2021, Virtual, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-03468606/file/typrd_final.pdf BibTex
auteur
Valentin D. Richard
titre
Embedding Intentional Semantics into Inquisitive Semantics
article
Computation and Language [cs.CL]. 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03280889/file/MasterThesis-VDRichard.pdf BibTex
auteur
Maxime Amblard
titre
Les lapins magiciens
article
2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02414345/file/lapinsmagiciens.pdf BibTex
auteur
William Babonnaud
titre
Covariant Subtyping Applied to Semantic Predicate Calculi
article
LACL 2021 – Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03542057/file/main.pdf BibTex
auteur
Eduardo Calò, Léo Jacqmin, Thibo Rosemplatt, Maxime Amblard, Miguel Couceiro, Ajinkya Kulkarni
titre
GECko+: a Grammatical and Discourse Error Correction Tool
article
TALN 2021 – 28e Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2021, Lille / Virtual, France. pp.8-11
Accès au texte intégral et bibtex
https://hal.science/hal-03265914/file/65.pdf BibTex
auteur
Maxime Amblard, Miguel Couceiro
titre
A Broad NLP Training from Speech to Knowledge
article
NAACL 2021 – 5th Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03200480/file/TeachNAACL21.pdf BibTex
auteur
Safa Alsaidi, Amandine Decker, Esteban Marquer, Pierre-Alexandre Murena, Miguel Couceiro
titre
Tackling Morphological Analogies Using Deep Learning — Extended Version
article
2021
Accès au bibtex
https://arxiv.org/pdf/2111.05147 BibTex
auteur
Marc M Anderson
titre
Personality in Seagoing Ships
article
The Cultural Power of Personal Objects: Traditional Accounts and New Perspectives, Jared Kemling, 2021, SUNY series in American Philosophy and Cultural Thought, 978-1-4384-8617-8
Accès au bibtex
BibTex
auteur
Dave Sayers, Rui Sousa-Silva, Sviatlana Höhn, Lule Ahmedi, Kais Allkivi-Metsoja, Dimitra Anastasiou, Štefan Beňuš, Lynne Bowker, Eliot Bytyçi, Alejandro Catala, Anila Çepani, Rubén Chacón-Beltrán, Sami Dadi, Fisnik Dalipi, Vladimir Despotovic, Agnieszka Doczekalska, Sebastian Drude, Karën Fort, Robert Fuchs, Christian Galinski, Federico Gobbo, Tunga Gungor, Siwen Guo, Klaus Höckner, Petralea Láncos, Tomer Libal, Tommi Jantunen, Dewi Jones, Blanka Klimova, Eminerkan Korkmaz, Sepesy Maučec Mirjam, Miguel Melo, Fanny Meunier, Bettina Migge, Barbu Mititelu Verginica, Aurélie Névéol, Arianna Rossi, Antonio Pareja-Lora, Christina Sanchez-Stockhammer, Aysel Şahin, Angela Soltan, Claudia Soria, Sarang Shaikh, Marco Turchi, Sule Yildirim Yayilgan
titre
The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies.
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03230287/file/The%20Forecast%20report%202021%20%28May%2019%2008.28%29.pdf BibTex
auteur
Maxime Amblard
titre
Outiller le diagnostic des pathologies mentales par l’analyse de la langue
article
Séminaire MaDICS, May 2021, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03619160/file/Madic.pdf BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
DinG — a corpus of transcriptions of real-life, oral, spontaneous multi-party dialogues between French-speaking players of Catan
article
Journées LIFT 2021 – Linguistique informatique, formelle et de terrain, GDR lift, Dec 2021, Grenoble, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03537970/file/GdR_LIFT_DinG-long.pdf BibTex
auteur
Maxime Amblard
titre
(In)Cohérence de la conversation
article
TAL et Linguistique de corpus, Oct 2021, Nanterre, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03619163/file/Nanterre_def.pdf BibTex
auteur
Guilherme Alves, Maxime Amblard, Fabien Bernier, Miguel Couceiro, Amedeo Napoli
titre
Reducing Unintended Bias of ML Models on Tabular and Textual Data
article
DSAA 2021 – 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto (virtual event), Portugal. pp.1-10
Accès au texte intégral et bibtex
https://hal.science/hal-03312797/file/_dsaa_21__Reducing_Unintended_Bias_of_ML_Models_on_Tabular_and_Textual_Data%20%285%29.pdf BibTex
auteur
Hee-Soo Choi, Bruno Guillaume, Karën Fort
titre
Analyse orientée corpus d’universaux de Greenberg sur Universal Dependencies
article
Journées LIFT 2021 – Linguistique informatique, formelle et de terrain, GDR LIFT – Linguistique Informatique, Formelle et de Terrain, Dec 2021, Grenoble, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03462112/file/GDR_LIFT2021_VF.pdf BibTex
auteur
Maxime Amblard, Karën Fort, Bruno Guillaume, Philippe de Groote, Chuyuan Li, Pierre Ludmann, Michel Musiol, Siyana Pavlova, Guy Perrier, Sylvain Pogodalla
titre
The Annotators Did Not Agree on Some of the Guidelines Examples
article
ISA 2021 – 17th Workshop on Interoperable Semantic Annotation, Jun 2021, Groningen/Virtuel, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03298940/file/IWCS_2021__Quantification_Annotation_Shared_Task.pdf BibTex
auteur
Jirka Maršík, Maxime Amblard, Philippe de Groote
titre
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
article
Theoretical Computer Science, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03200474/file/Marsik1.pdf BibTex
auteur
Maxime Amblard, Joanna Jongwane
titre
L’intelligence artificielle au service des maladies mentales
article
Interstices, 2021
Accès au bibtex
BibTex
auteur
Guy Perrier
titre
Étude des dépendances syntaxiques non projectives en français
article
Revue TAL : traitement automatique des langues, 2021, 62 (1), pp.39-63
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03389157/file/TAL_62_1_2_Perrier.pdf BibTex
auteur
Maxime Amblard, Maria Boritchev, Philippe de Groote
titre
An inquisitive account of wh-questions through event semantics
article
LACL 2021 – Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03541222/file/inquisitive-wh-questions-event-semantics.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Graph Rewriting for Enhanced Universal Dependencies
article
IWPT 2021 – 17th International Conference on Parsing Technologies, Aug 2021, Bangkok (Online), Thailand
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03326492/file/2021.iwpt-1.18.pdf BibTex
auteur
Philippe de Groote, Valentin D. Richard
titre
Embedding Intensional Semantics into Inquisitive Semantics
article
MOL 2021 – 17th Meeting on the Mathematics of Language, Dec 2021, Montpellier (online), France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03541183/file/2021.mol-1.6.pdf BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi
titre
Discourse coherence – From psychology to linguistics and back again
article
Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. (In)coherence of discourse – Formal and Conceptual issues of Language, Springer, pp.1-17, 2021, ⟨10.1007/978-3-030-71434-5_1⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269640/file/MAMMMR_GenerealIntroductionhal.pdf BibTex
auteur
Safa Alsaidi, Amandine Decker, Puthineath Lay, Esteban Marquer, Pierre-Alexandre Murena, Miguel Couceiro
titre
A Neural Approach for Detecting Morphological Analogies
article
IEEE DSAA 2021 – The 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto / Online, Portugal. , IEEE DSAA 2021
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03328841/file/2021_09_DSAA_poster.pdf BibTex
auteur
Maxime Amblard, Michel Musiol
titre
NLP Tools for Mental Hearth – French experience
article
French-Sweden Scientific Day, Nov 2021, stockholm, Sweden
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03619164/file/sweden.pdf BibTex

2020

auteur
Christophe Benzitoun, Chloé Braud, Laurine Huber, David Langlois, Slim Ouni, Sylvain Pogodalla, Stéphane Schneider
titre
Actes de la 6e conférence conjointe Journées d’Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL
article
3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL, ATALA; AFCP, pp.1-230, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02786181/file/proceedings.pdf BibTex
auteur
Christophe Benzitoun, Chloé Braud, Laurine Huber, David Langlois, Slim Ouni, Sylvain Pogodalla, Stéphane Schneider
titre
Actes de la 6e conférence conjointe Journées d’Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d’articles internationaux
article
4 : Démonstrations et résumés d’articles internationaux, ATALA; AFCP, pp.1-88, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02768750/file/proceedings.pdf BibTex
auteur
Lionel Nicolas, Verena Lyding, Claudia Borg, Corina Forascu, Karën Fort, Katerina Zdravkova, Iztok Kosem, Jaka Cibej, Špela Arhar Holdt, Alice Millour, Alexander König, Christos Rodosthenous, Federico Sangati, Umair Ul Hassan, Anisia Katinskaia, Anabela Barreiro, Lavinia Aparaschivei, Yaakov Hacohen-Kerner
titre
Creating Expert Knowledge by Relying on Language Learners: a Generic Approach for Mass-Producing Language Resources by Combining Implicit Crowdsourcing and Language Learning
article
LREC 2020 – Language Resources and Evaluation Conference, May 2020, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02879883/file/EnetCollect___LREC_2020.pdf BibTex
auteur
Alice Millour, Karën Fort
titre
Text Corpora and the Challenge of Newly Written Languages
article
1st Joint SLTU and CCURL Workshop (SLTU-CCURL 2020), May 2020, Marseille, France
Accès au texte intégral et bibtex
https://hal.science/hal-02611209/file/ccurl2020_kfam.pdf BibTex
auteur
Marie Candito, Mathieu Constant, Carlos Ramisch, Agata Savary, Bruno Guillaume, Yannick Parmentier, Silvio Ricardo Cordeiro
titre
A French corpus annotated for multiword expressions and named entities
article
Journal of Language Modelling, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03016721/file/265-Article%20Text%20%E2%80%93%20PDF-2149-2-10-20210224%20%281%29.pdf BibTex
auteur
Mathilde Dargnat, Jacques Jayez
titre
Presupposition Projection and Main Content
article
Anne Abeille; Olivier Bonami. Constraint-based Syntax and Semantics : Papers in Honor of Danièle Godard, 223, Center for the Study of Language and Information, pp.101-126, 2020, CSLI Lecture Notes, 9781684000463
Accès au texte intégral et bibtex
https://hal.science/hal-03538826/file/PP_Projection_and_MC.pdf BibTex
auteur
Gaël Guibon, Marine Courtin, Kim Gerdes, Bruno Guillaume
titre
When Collaborative Treebank Curation Meets Graph Grammars
article
LREC 2020 – 12th Language Resources and Evaluation Conference, May 2020, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03021720/file/2020.lrec-1.651.pdf BibTex
auteur
Christophe Benzitoun, Chloé Braud, Laurine Huber, David Langlois, Slim Ouni, Sylvain Pogodalla, Stéphane Schneider
titre
Actes de la 6e conférence conjointe Journées d’Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles
article
2 : Traitement Automatique des Langues Naturelles, ATALA; AFCP, pp.1-395, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02784750/file/proceedings.pdf BibTex
auteur
Maxime Amblard
titre
Le problème des 8 reines
article
Interstices, 2020
Accès au bibtex
BibTex
auteur
Maxime Amblard, Chuyuan Li, Chloé Braud, Caroline Demily, Nicolas Franck, Michel Musiol
titre
Investigation par méthodes d’apprentissage des spécificités langagières propres aux personnes avec schizophrénie
article
27èmes Journées Traitement Automatique des Langues Naturelles (TALN 2020), Jun 2020, Nancy, France. pp.12-26
Accès au texte intégral et bibtex
https://hal.science/hal-02784752/file/123.pdf BibTex
auteur
Timothée Bernard
titre
Towards Multiple Tasks Integration with Reinforcement Learning
article
Meeting of the Japanese Association for Natural Language Processing, Jul 2020, Unknown, Japan. pp.1503-1506
Accès au bibtex
BibTex
auteur
Maxime Amblard, Clement Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla
titre
A French Version of the FraCaS Test Suite
article
LREC 2020 – Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02619239/file/Author-french_fracas.pdf BibTex
auteur
Carlos Ramisch, Agata Savary, Bruno Guillaume, Jakub Waszczuk, Marie Candito, Ashwini Vaidya, Verginica Barbu Mititelu, Archna Bhatia, Uxoa Iñurrieta, Voula Giouli, Tunga Güngör, Menghan Jiang Polyu, Timm Lichte, Chaya Liebeskind, Johanna Monti, Renata Ramisch, Sara Stymne, Abigail Walsh, Hongzhi Xu
titre
Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
article
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-03014927/file/main-print.pdf BibTex
auteur
Christophe Benzitoun, Chloé Braud, Laurine Huber, David Langlois, Slim Ouni, Sylvain Pogodalla, Stéphane Schneider
titre
Actes de la 6e conférence conjointe Journées d’Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d’Études sur la Parole
article
1 : Journées d’Études sur la Parole, ATALA; AFCP, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02798507/file/proceedings.pdf BibTex
auteur
William Babonnaud, Philippe de Groote
titre
Lexical selection, coercion, and record types
article
LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
Accès au bibtex
BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
There is as yet Insufficient Data for a Meaningful Answer
article
SemDial – WatchDial The 24th Workshop on the Semantics and Pragmatics of Dialogue, Jul 2020, Brandeis, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02930715/file/insufficient-data-boritchev-amblard.pdf BibTex
auteur
Andrew Dj. Pearson, Kimberly Stegmaier, Franck Bourdeaut, Gregory Reaman, Delphine Heenen, Michael Meyers, Scott Armstrong, Patrick Brown, Daniel de Carvalho, Nada Jabado, Lynley Marshall, Miguel Rivera, Malcolm Smith, Peter Adamson, Amy Barone, Christian Baumann, Samuel Blackman, Vickie Buenger, Martha Donoghue, Aundrietta Duncan, Elizabeth Fox, Brian Gadbaw, Maureen Hattersley, Peter Ho, Ira Jacobs, Michael Kelly, Mark Kieran, Giovanni Lesa, Franca Ligas, Donna Ludwinski, Joe Mcdonough, Zariana Nikolova, Koen Norga, Adrian Senderowicz, Tilmann Taube, Susan Weiner, Dominik Karres, Gilles Vassal
titre
Paediatric Strategy Forum for medicinal product development of epigenetic modifiers for children
article
European Journal of Cancer, 2020, 139, pp.135-148. ⟨10.1016/j.ejca.2020.08.014⟩
Accès au bibtex
BibTex
auteur
Timothee Mickus, Timothée Bernard, Denis Paperno
titre
What Meaning-Form Correlation Has to Compose With: A Study of MFC on Artificial and Natural Language
article
COLING’2020 – the 28th International Conference on Computational Linguistics, Dec 2020, Barcelona, Spain. pp.3737-3749, ⟨10.18653/v1/2020.coling-main.333⟩
Accès au bibtex
BibTex
auteur
Alice Millour, Karën Fort, Pierre Magistry
titre
Répliquer et étendre pour l’alsacien “Étiquetage en parties du discours de langues peu dotées par spécialisation des plongements lexicaux
article
6e conférence conjointe Journées d’Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). 2e atelier Éthique et TRaitemeNt Automatique des Langues (ETeRNAL), Jun 2020, Nancy, France. pp.29-37
Accès au texte intégral et bibtex
https://hal.science/hal-02750224/file/194.pdf BibTex
auteur
Kevin Bretonnel Cohen, Karën Fort, Margot Mieskes, Aurélie Névéol
titre
Reviewing Natural Language Processing Research
article
Annual Meeting of the Association for Computational Linguistics (ACL), Jul 2020, Seattle, United States. pp.16 – 18, ⟨10.18653/v1/2020.acl-tutorials.4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02943568/file/Description_ACL_Reviewing_Tutorial.pdf BibTex
auteur
Gilles Adda, Maxime Amblard, Karën Fort
titre
Actes de la 6e conférence conjointe Journées d’Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). 2e atelier Éthique et TRaitemeNt Automatique des Langues (ETeRNAL)
article
2e atelier Éthique et TRaitemeNt Automatique des Langues (ETeRNAL), ATALA; AFCP, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02750218/file/proceedings.pdf BibTex
auteur
Karën Fort, Bruno Guillaume, Yann-Alan Pilatte, Mathieu Constant, Nicolas Lefèbvre
titre
Rigor Mortis: Annotating MWEs with a Gamified Platform
article
LREC 2020 – Language Resources and Evaluation Conference, May 2020, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02571466/file/LREC2020_RM_finale.pdf BibTex
auteur
Maria Boritchev, Philippe de Groote
titre
On dialogue modeling: a dynamic epistemic inquisitive approach
article
New Frontiers in Artificial Intelligence. JSAI-isAI 2020., Nov 2020, Online, Japan. pp.21–36, ⟨10.1007/978-3-030-79942-7_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03065236/file/dialogue-modeling-DEI.pdf BibTex
auteur
Špela Arhar Holdt, Rina Zviel-Girshin, Elżbieta Gajek, Isabel Durán-Muñoz, Karën Fort, Petra Bago, Ciler Hatipoglu, Ramunė Kasperavičienė, Svetla Koeva, Ivana Lazić Konjik, Lina Miloshevska, Antonia Ordulj, Christos Rodosthenous, Elena Volodina, Tassja Weber, Lorenzo Zanasi
titre
Language Teachers and Crowdsourcing: Insights from a Cross-European Survey
article
Rasprave Instituta za hrvatski jezik i jezikoslovlje, 2020, 46 (1), pp.1-28. ⟨10.31724/rihjj.46.1.1⟩
Accès au bibtex
BibTex

2019

auteur
Karën Fort
titre
Productions participatives de corpus annotés : des modèles encore incertains
article
Colloque Jeunes Chercheurs PRAXILING, Nov 2019, Montpellier, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02418826/file/PresentationColloquePraxiling.pdf BibTex
auteur
Michel Musiol
titre
Improving the investigation of conversational discontinuities using the support of eye-tracking methods.
article
Workshop on Formal Approaches to (In)coherence and Dynamics in Dialogue, Oct 2019, Göteborg, Sweden
Accès au bibtex
BibTex
auteur
Bruno Guillaume, Marie-Catherine de Marneffe, Guy Perrier
titre
Conversion et améliorations de corpus du français annotés en Universal Dependencies
article
Revue TAL : traitement automatique des langues, 2019, 60 (2), pp.71-95
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02267418/file/UD_French.pdf BibTex
auteur
Bruno Guillaume
titre
Graph Matching for Corpora Exploration
article
JLC 2019 – 10èmes Journées Internationales de la Linguistique de corpus, Nov 2019, Grenoble, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02267475/file/gm.pdf BibTex
auteur
Jonathan Ginzburg, Zulipiye Yusupujiang, Chuyuan Li, Kexin Ren, Pawel Lupkowski
titre
Characterizing the response space of questions: a corpus study for English and polish
article
SIGdial Meeting on Discourse and Dialogue, Sep 2019, Stockholm, Sweden. pp.320-330, ⟨10.18653/v1/W19-5937⟩
Accès au bibtex
BibTex
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
Pourquoi se tourner vers le SUD : L’importance de choisir un schéma d’annotation en dépendance surface-syntaxique
article
LIFT 2019 – Journées scientifiques “Linguistique informatique, formelle & de terrain”, Nov 2019, Orléans, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02449922/file/textLiftOrl%C3%A9ansNov2019.pdf BibTex
auteur
Karën Fort
titre
La production participative (crowdsourcing ) : miroir grossissant sur l’annotation manuelle
article
Séminaire de l’équipe Inria ALMANACH, Oct 2019, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02418852/file/SeminaireAlmanach.pdf BibTex
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
Improving Surface-syntactic Universal Dependencies (SUD): surface-syntactic relations and deep syntactic features
article
TLT 2019 – 18th International Workshop on Treebanks and Linguistic Theories, Aug 2019, Paris, France. pp.126-132, ⟨10.18653/v1/W19-7814⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02266003/file/SyntaxFest-2019_paper_75.pdf BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
A compositional view of questions
article
WiNLP – Widening NLP – ACL Workshop, Jul 2019, Florence, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269603/file/winlp2019.pdf BibTex
auteur
Guy Perrier, Bruno Guillaume
titre
GREW, un outil au service de l’annotation de corpus et de l’exploitation de corpus annotés
article
Journées scientifiques “Linguistique informatique, formelle de terrain”, Nov 2019, Orléans, France. pp.73, 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02388693/file/main.pdf BibTex
auteur
Philippe de Groote, Frank Drewes, Gerald Penn
titre
Proceedings of the 16th Meeting on the Mathematics of Language
article
Philippe de Groote; Frank Drewes; Gerald Penn. Association for Computational Linguistics, 2019
Accès au bibtex
BibTex
auteur
Timothée Bernard
titre
Approches formelles de l’analyse du discours
article
Informatique et langage [cs.CL]. Université Sorbonne Paris Cité, 2019. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-02150106/file/these.pdf BibTex
auteur
Denis Maurel, Karën Fort
titre
Regards croisés sur la linguistique informatique
article
Colloque Décrire une Langue : Objectifs et Méthodes. Université de la Sorbonne, Sep 2019, Paris, France
Accès au bibtex
BibTex
auteur
Maria-Andrea Cruz-Blandón, Gosse Minnema, Aria Nourbakhsh, Maria Boritchev, Maxime Amblard
titre
Toward Dialogue Modeling: A Semantic Annotation Scheme for Questions and Answers
article
LAW XIII 2019 – The 13th Linguistic Annotation Workshop, Aug 2019, Florence, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269613/file/acl2019.pdf BibTex
auteur
Alice Millour, Karën Fort
titre
Sciences participatives et diversité linguistique Retours d’expériences
article
Culture et recherche, 2019, Recherche culturelle et sciences participatives, 140
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02877151/file/FORT-MILLOUR-Diversite%20linguistique-HAL.pdf BibTex
auteur
Maxime Amblard, Maria Boritchev, Marta Carletti, Lea Dieudonat, Yiting Tsai
titre
A Taxonomy of Real-Life Questions and Answers in Dialogue
article
SemDial 2019 – LondonLogue – 23rd Workshop on the semantics and pragmatics of dialogue, Sep 2019, London, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02269609/file/main.pdf BibTex
auteur
Raffaella Bernardi, Greg Kobele, Sylvain Pogodalla
titre
Formal Grammar
article
Raffaella Bernardi; Greg Kobele; Sylvain Pogodalla. FG 2019 – 24th International Conference on Formal Grammar, Aug 2019, Riga, Latvia. 11668, Springer, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-59648-7⟩
Accès au bibtex
BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Leçons de l’annotation linguistique en dépendances de corpus écrits du français
article
Les corpus en sciences humaines et sociales, Presses Universitaires de Nancy, A paraître
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02267428/file/main.pdf BibTex
auteur
Karën Fort, Bruno Guillaume
titre
Les jeux ayant un but : des sciences participatives ?
article
Culture et recherche, 2019, Recherche culturelle et sciences participatives, 140
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02877136/file/CultureEtRecherche_GWAP_Hal.pdf BibTex
auteur
Lisa Chupin, Karën Fort
titre
Ouvrir le dédale des données des recherches myriadisées
article
Culture et recherche, 2019, Recherche culturelle et sciences participatives, 140
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02877146/file/CultureEtRecherche_Donnees_HAL.pdf BibTex
auteur
Maxime Amblard, Christine Leininger
titre
Jeu de 7 familles de l’informatique
article
Interstices, 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03207903/file/Notice-web%20%281%29.pdf BibTex
auteur
Maria Boritchev
titre
Thé, café et licornes — Traitement de la structure conversationnelle dans la théorie dynamique des types
article
EJCIM 2019 – École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02071515/file/Expose_EJCIM_MB.pdf BibTex
auteur
William Babonnaud
titre
A Topos-Based Approach to Building Language Ontologies
article
Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02418029/file/main.pdf BibTex

2018

auteur
Maxime Amblard
titre
Intelligences Artificielles, Mythes et Ethique
article
Café-débat EKOS, Mar 2018, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01744075/file/Ekos.pdf BibTex
auteur
Maxime Amblard
titre
L’informaticien une fiction du traitement de la langue
article
Catherine Allamel-Raffin; Sylvie Allouche; Jean-Luc Gangloff; Vincent Helfrich. Informaticiens et médecins dans la fiction contemporaine. Exploration 3, Néothèque, 2018, 978-2355253522
Accès au bibtex
BibTex
auteur
Karën Fort, Bruno Guillaume, Mathieu Constant, Nicolas Lefèbvre, Yann-Alan Pilatte
titre
Fingers in the Nose”: Evaluating Speakers’ Identification of Multi-Word Expressions Using a Slightly Gamified Crowdsourcing Platform
article
Proceedings of the Joint Workshop on Linguistic Annotation, Multiword Expressions and Constructions (LAW-MWE-CxG-2018), Aug 2018, Santa Fe, United States. pp.207 – 213
Accès au texte intégral et bibtex
https://hal.science/hal-01912706/file/lawmwe_rigormortis.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
titre
Application de la réécriture de graphes au traitement automatique des langues
article
ISTE editions, 1, pp.242, 2018, Série Logique, linguistique et informatique, Christian Rétoré, 9781784054762
Accès au bibtex
BibTex
auteur
Maria Boritchev
titre
Approaching dialogue modeling in a dynamic framework
article
Computer Science [cs]. 2018
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01684145/file/MasterThesisMariaBoritchev.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume
titre
Non-size increasing Graph Rewriting for Natural Language Processing
article
Mathematical Structures in Computer Science, 2018, 28 (08), pp.1451 – 1484. ⟨10.1017/S0960129518000178⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00921038/file/grew.pdf BibTex
auteur
Timothée Bernard
titre
Negation in event semantics with actual and nonactual events
article
ConSOLE 2018 – 26th Conference of the Student Organization of Linguistics in Europe, Feb 2018, London, United Kingdom. pp.350-366
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01931273/file/console26-final-Bernard.pdf BibTex
auteur
Maxime Amblard
titre
Formal modelling of dialogue: how words interact (not only in the dictionary!)
article
EMLex lecture series/Séminaire de l’ATILF, Mar 2018, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01941824/file/EMLEX.pdf BibTex
auteur
Maxime Amblard
titre
Calculer sur la langue mais qu’y comprendre ?
article
Colloque Cathy Dufour, Nov 2018, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01941846/file/CD-IA-TAL.pdf BibTex
auteur
Karën Fort, Bruno Guillaume
titre
Produire des données pour la recherche en jouant aux zombies
article
Interstices, 2018
Accès au bibtex
BibTex
auteur
Timothée Bernard, Lucas Champollion
titre
Negation and distributivity in event semantics
article
Journées Co-distributivité 2018, Feb 2018, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01931268/file/handout.pdf BibTex
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
titre
Application of Graph Rewriting to Natural Language Processing
article
ISTE Wiley, 1, pp.272, 2018, Logic, Linguistics and Computer Science Set, Christian Rétoré, 1786300966
Accès au bibtex
BibTex
auteur
Maria Boritchev
titre
Modeling dialogues in a dynamic theory of types
article
Séminaire des doctorantes et doctorants en informatique, Jun 2018, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01831687/file/Seminaire_MB.pdf BibTex
auteur
Karën Fort, Maxime Amblard
titre
Éthique et traitement automatique des langues
article
Journée éthique et intelligence artificielle, Jul 2018, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-01827579/file/EthiqueEtIA.pdf BibTex
auteur
Maxime Amblard
titre
Idée reçue : Les algorithmes prennent-ils des décisions ?
article
Interstices, 2018
Accès au bibtex
BibTex
auteur
Timothée Bernard, Lucas Champollion
titre
Negative events in compositional semantics
article
Semantics and Linguistic Theory (SALT 28), May 2018, Cambridge (MA), United States. pp.512-532
Accès au bibtex
BibTex
auteur
Chrystel Besche-Richard, Sarah Terrien, Romina Rinaldi, Frédéric Verhaegen, Laurent Lefebvre, Michel Musiol
titre
Les troubles du spectre de la schizophrénie
article
Psychopathologie cognitive, Enfant, adolescent, adulte, Dunod, pp.153-179, 2018
Accès au bibtex
BibTex
auteur
Timothée Bernard
titre
Continuations as a semantics-pragmatics interface for presuppositions
article
Sinn und Bedeutung (SuB 23), Sep 2018, Barcelona, Spain.
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01931283/file/poster.pdf BibTex
auteur
Maxime Amblard
titre
Question the coherence of dialogical interaction through formalization
article
Journée d’Étude Franco-Tchèque. Linguistique textuelle, linguistique de corpus, Apr 2018, Metz, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01941830/file/JFT-MetzEN.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
La réécriture de graphes au service de l’annotation de corpus et de l’exploitation de corpus annotés
article
Grammar and Corpora 2018, Nov 2018, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01930651/file/main.pdf BibTex
auteur
Joakim Nivre, Mitchell Abrams, Željko Agić, Lars Ahrenberg, Lene Antonsen, Maria Jesus Aranzabe, Gashaw Arutie, Masayuki Asahara, Luma Ateyah, Mohammed Attia, Aitziber Atutxa, Liesbeth Augustinus, Elena Badmaeva, Miguel Ballesteros, Esha Banerjee, Sebastian Bank, Verginica Barbu Mititelu, John Bauer, Sandra Bellato, Kepa Bengoetxea, Riyaz Ahmad Bhat, Erica Biagetti, Eckhard Bick, Rogier Blokland, Victoria Bobicev, Carl Börstell, Cristina Bosco, Gosse Bouma, Sam Bowman, Adriane Boyd, Aljoscha Burchardt, Marie Candito, Bernard Caron, Gauthier Caron, Gülşen Cebiroğlu Eryiğit, Giuseppe G. A. Celano, Savas Cetin, Fabricio Chalub, Jinho Choi, Yongseok Cho, Jayeol Chun, Silvie Cinková, Aurélie Collomb, Çağri Çöltekin, Miriam Connor, Marine Courtin, Elizabeth Davidson, Marie-Catherine De Marneffe, Valeria De Paiva, Arantza Diaz De 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ökirmak, 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şikara, Sylvain Kahane, Hiroshi Kanayama, Jenna Kanerva, Tolga Kayadelen, Václava Kettnerová, Jesse Kirchner, Natalia Kotsyba, Simon Krek, Sookyoung Kwak, Veronika Laippala, Lorenzo Lambertino, Tatiana Lando, Septina Dian Larasati, Alexei Lavrentiev, John Lee, Phương Lê Hồng, Alessandro Lenci, Saran Lertpradit, Herman Leung, Cheuk Ying Li, Josie Li, Keying Li, Kyungtae Lim, Nikola Ljubešić, Olga Loginova, Olga Lyashevskaya, Teresa Lynn, Vivien Macketanz, Aibek Makazhanov, Michael Mandl, Christopher Manning, Ruli Manurung, Cătălina Mărănduc, David Mareček, Katrin Marheinecke, Hector Martinez Alonso, André Martins, Jan Mašek, Yuji Matsumoto, Ryan Mcdonald, Gustavo Mendonça, Niko Miekka, Anna Missilä, Cătălin Mititelu, Yusuke Miyao, Simonetta Montemagni, Amir More, Laura Moreno Romero, Shinsuke Mori, Bjartur Mortensen, Bohdan Moskalevskyi, Kadri Muischnek, Yugo Murawaki, Kaili Müürisep, Pinkey Nainwani, Juan Ignacio Navarro Horñiacek, Anna Nedoluzhko, Gunta Nešpore-Bērzkalne, Lương Nguyễn Thị, Huyền Nguyễn Thị Minh, Vitaly Nikolaev, Rattima Nitisaroj, Hanna Nurmi, Stina Ojala, Adédayọ̀ Olúòkun, Mai Omura, Petya Osenova, Robert Östling, Lilja Øvrelid, Niko Partanen, Elena Pascual, Marco Passarotti, Agnieszka Patejuk, Siyao Peng, Cenel-Augusto Perez, Guy Perrier, Slav Petrov, Jussi Piitulainen, Emily Pitler, Barbara Plank, Thierry Poibeau, Martin Popel, Lauma Pretkalniņa, Sophie Prévost, Prokopis Prokopidis, Adam Przepiórkowski, Tiina Puolakainen, Sampo Pyysalo, Andriela Rääbis, Alexandre Rademaker, Loganathan Ramasamy, Taraka Rama, Carlos Ramisch, Vinit Ravishankar, Livy Real, Siva Reddy, Georg Rehm, Michael Riessler, 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 Van Niekerk, Gertjan Van Noord, Viktor Varga, Veronika Vincze, Lars Wallin, Jonathan North Washington, Seyi Williams, Mats Wirén, Tsegay Woldemariam, Tak-Sum Wong, Chunxiao Yan, Marat M. Yavrumyan, Zhuoran Yu, Zdeněk Žabokrtský, Amir Zeldes, Daniel Zeman, Manying Zhang, Hanzhi Zhu
titre
Universal Dependencies 2.2
article
2018
Accès au bibtex
BibTex
auteur
Maria Boritchev, Maxime Amblard
titre
Coffee or tea? Yes
article
The 22nd workshop on the Semantics and Pragmatics of Dialogue, Laurent Prévot, Magalie Ochs and Benoît Favre, Nov 2018, Aix-en-Provence, France
Accès au texte intégral et bibtex
https://hal.science/hal-01922137/file/coffee_or_tea.pdf BibTex
auteur
Philippe de Groote
titre
New Progress in Continuation-Based Dynamic Logic
article
LACompLing2018 – Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden
Accès au bibtex
BibTex
auteur
Annie Foret, Reinhard Muskens, Sylvain Pogodalla
titre
Formal Grammar
article
Springer-Verlag Berlin Heidelberg; Springer, 10686, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-56343-4⟩
Accès au bibtex
BibTex
auteur
Annie Foret, Greg Kobele, Sylvain Pogodalla
titre
Formal Grammar 2018
article
10950, Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-57784-4⟩
Accès au bibtex
BibTex
auteur
Timothée Bernard
titre
Fine-grained discourse structures in continuation semantics
article
SIGDIAL 2018 – 19th Annual Meeting of the Special Interest Group on Discourse and Dialogue, Jul 2018, Melbourne, Australia. pp.296-305
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01801932/file/acl2018.pdf BibTex
auteur
Kim Gerdes, Bruno Guillaume, Sylvain Kahane, Guy Perrier
titre
SUD or Surface-Syntactic Universal Dependencies: An annotation scheme near-isomorphic to UD
article
Universal Dependencies Workshop 2018, Nov 2018, Brussels, Belgium. ⟨10.18653/v1/W18-6008⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01930614/file/33_Paper.pdf BibTex
auteur
Maxime Amblard
titre
SLAM, un corpus de conversations avec des patients schizophrènes
article
Recherches linguistiques et corpus, séminaire STIH de la Faculté des Lettres de Sorbonne Université, Mar 2018, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01941845/file/Corpus.pdf BibTex

2017

auteur
Maxime Amblard
titre
A Formal Account of Disorders in Dialogues
article
Seminar of the Centre for Linguistic Theory and Studies in Probability, Nov 2017, University of Gothenburg, Sweden
Accès au bibtex
BibTex
auteur
Maria Boritchev
titre
On Politics and Argumentation
article
MALOTEC, Mar 2017, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-01666416/file/Malotec.pdf BibTex
auteur
Clement Beysson
titre
Déterminants et quantificateurs généralisés dynamiques
article
TALN 2017 – Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93
Accès au texte intégral et bibtex
https://hal.science/hal-01651749/file/RECITAL_2017_paper_5.pdf BibTex
auteur
Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla
titre
Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic
article
Journal of Language Modelling, 2017, 5 (2), ⟨10.15398/jlm.v5i2.147⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01417853/file/147-1407-1-PB.pdf BibTex
auteur
Karën Fort, Bruno Guillaume, Nicolas Lefèbvre, Laura Ramírez, Mathilde Regnault, Mary Collins, Oksana Gavrilova, Tanti Kristanti
titre
Vers l’annotation par le jeu de corpus (plus) complexes : le cas de la langue de spécialité
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2017, Orléans, France
Accès au texte intégral et bibtex
https://hal.science/hal-01583863/file/taln2017_adn.pdf BibTex
auteur
Timothée Bernard
titre
Une interprétation probabiliste des informations de factivité
article
24ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.69-76
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01560547/file/court.pdf BibTex
auteur
Bruno Guillaume, Guy Perrier
titre
Réflexion sur l’annotation de corpus écrits du français en syntaxe et en sémantique
article
ACor4French – Les corpus annotés du français, Jun 2017, Orléans, France. pp.1-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01651753/file/main.pdf BibTex
auteur
Karën Fort, Bruno Guillaume, Nicolas Lefèbvre
titre
Who wants to play Zombie? A survey of the players on ZOMBILINGO
article
Games4NLP 2017 – Using Games and Gamification for Natural Language Processing, Apr 2017, Valencia, Spain. pp.2
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01494043/file/games4nlp_zl.pdf BibTex
auteur
Maxime Amblard
titre
Modélisation sémantique de la langue, une mise en pratique
article
SIESTE 2017 – Séminaire d’Informatique pour les Etudiants, Scientifiques, et Tous ceux que l’informatique intéresse à l’ENS Lyon, Feb 2017, Lyon, France. pp.1-77
Accès au bibtex
BibTex
auteur
Maria Boritchev
titre
Grande L3 deviendra mini-chercheuse
article
Séminaire SIESTE, Feb 2017, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-01666417/file/SIESTE.pdf BibTex
auteur
Marie Candito, Bruno Guillaume, Guy Perrier, Djamé Seddah
titre
Enhanced UD Dependencies with Neutralized Diathesis Alternation
article
Depling 2017 – Fourth International Conference on Dependency Linguistics, Sep 2017, Pisa, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01625466/file/Depling_2017_paper_28-version-finale.pdf BibTex
auteur
Makoto Kanazawa, Philippe de Groote, Mehrnoosh Sadrzadeh
titre
MOL 2017, the 15th Meeting on the Mathematics of Language
article
Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Association for Computational Linguistics, 2017
Accès au bibtex
BibTex
auteur
Sylvain Pogodalla
titre
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars
article
Journal of Language Modelling, 2017, 5 (3), pp.527-605. ⟨10.15398/jlm.v5i3.193⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01242154/file/tag-acg-pogodalla.pdf BibTex
auteur
Maxime Amblard
titre
Le discours des schizophrènes par la formalisation langagière, interpréter les troubles de la pensée par les troubles du langages
article
2017 – Séminaire C2S, Jun 2017, Reims, France. pp.1-109
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01655828/file/Reims.pdf BibTex
auteur
Sylvain Pogodalla
titre
Abstract Categorial Grammars as a Model of the Syntax-Semantics Interface for TAG
article
FSMNLP 2017 and TAG+13 conference, Sep 2017, Umeå, Sweden
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01583962/file/tag%2B13-tutorial.handout.pdf BibTex
auteur
Clement Beysson, Sarah Blind, Philippe de Groote, Bruno Guillaume
titre
Generalized Quantifiers and Dynamicity — preliminary results —
article
QUAD2017 – QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-01651668/file/QUAD2017.pdf BibTex
auteur
Maxime Amblard
titre
Regard sur « Le temps des algorithmes »
article
Interstices, 2017
Accès au bibtex
BibTex
auteur
Joakim Nivre, Željko Agić, Lars Ahrenberg, Lene Antonsen, Maria Jesus Aranzabe, Masayuki Asahara, Luma Ateyah, Mohammed Attia, Aitziber Atutxa, Liesbeth Augustinus, Elena Badmaeva, Miguel Ballesteros, Esha Banerjee, Sebastian Bank, Verginica Barbu Mititelu, John Bauer, Kepa Bengoetxea, Riyaz Ahmad Bhat, Eckhard Bick, Victoria Bobicev, Carl Börstell, Cristina Bosco, Gosse Bouma, Sam Bowman, Aljoscha Burchardt, Marie Candito, Gauthier Caron, Gülşen Cebiroğlu Eryiğit, Giuseppe G. A. Celano, Savas Cetin, Fabricio Chalub, Jinho Choi, Silvie Cinková, Çağri Çöltekin, Miriam Connor, Elizabeth Davidson, Marie‐catherine De Marneffe, Valeria De Paiva, Arantza Diaz De 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 K. Gojenola, Memduh Gökirmak, 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şikara, 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 L. Uria, Hans Uszkoreit, Sowmya Vajjala, Daniel Van Niekerk, Gertjan Van Noord, Viktor Varga, Éric Villemonte de La Clergerie, Veronika Vincze, Lars Wallin, Jonathan North Washington, Mats Wirén, Tak‐sum Wong, Zhuoran Yu, Zdeněk Žabokrtský, Amir Zeldes, Daniel Zeman, Hanzhi Zhu
titre
Universal Dependencies 2.1
article
2017
Accès au bibtex
BibTex
auteur
Maxime Amblard, Michel Musiol, Manuel Rebuschi, Marie-Hélène Pierre, Stefan Jokulsson
titre
(In)Coherence of discourse 4
article
Published by the authors, 2017
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01655957/file/proceedings2017final.pdf BibTex

2016

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

2015

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

2014

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

2013

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

2012

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

2011

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

2010

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

2009

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

2008

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

2007

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

2006

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

2005

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

2004

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

2003

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

2002

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

2001

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

2000

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

1999

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

1998

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

1997

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

1996

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

Comments are closed.