Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
N. Asher, S. Pogodalla.
A Montagovian Treatment of Modal Subordination, in: 20th Semantics and Linguistic Theory conference - SALT2010, Vancouver, Canada, N. Li, D. Lutz (editors), 2011.
http://hal.inria.fr/inria-00565616/en
[2]
G. Bonfante, B. Guillaume, M. Morey, G. Perrier.
Modular Graph Rewriting to Compute Semantics, in: 9th International Conference on Computational Semantics - IWCS 2011, Oxford, Royaume-Uni, J. Bos, S. Pulman (editors), January 2011, pp. 65–74.
http://hal.inria.fr/inria-00579244/en/
[3]
G. Bonfante, B. Guillaume, G. Perrier.
Analyse syntaxique électrostatique, in: Traitement Automatique des Langues (TAL), 2003, vol. 44, no 3, pp. 93-120, Article dans revue scientifique avec comité de lecture nationale.
http://hal.inria.fr/inria-00099582/en/
[4]
P. De Groote, M. Kanazawa.
A Note on Intensionalization, in: Journal of Logic, Language and Information, 2013, vol. 22, no 2, pp. 173-194. [ DOI : 10.1007/s10849-013-9173-9 ]
https://hal.inria.fr/hal-00909207
[5]
B. Guillaume, G. Perrier.
Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
[6]
P. de Groote.
Towards abstract categorial grammars, in: Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France, none, July 2001, pp. 148-155, Colloque avec actes et comité de lecture. internationale.
http://hal.inria.fr/inria-00100529/en
[7]
P. de Groote, M. Kanazawa.
A Note on Intensionalization, in: Journal of Logic, Language and Information, 2013, vol. 22, no 2, pp. 173-194.
[8]
P. de Groote, S. Pogodalla.
On the expressive power of abstract categorial grammars: Representing context-free formalisms, in: Journal of Logic, Language and Information, 2004, vol. 13, no 4, pp. 421–438.
[9]
P. de Groote, S. Pogodalla, C. Pollard.
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar, in: Fundamenta Informaticae, 2011, vol. 106, no 2-4, pp. 211-231. [ DOI : 10.3233/FI-2011-384 ]
http://hal.inria.fr/inria-00565598/en
[10]
P. de Groote.
Towards a Montagovian Account of Dynamics, in: 16th Semantics and Linguistic Theory conference - SALT2006, Tokyo, Japan, M. Gibson, J. Howell (editors), 2006.
http://elanguage.net/journals/index.php/salt/article/view/16.1
Publications of the year

Doctoral Dissertations and Habilitation Theses

[11]
S. Qian.
Accessibility of Referents in Discourse Semantics, Université de Lorraine, November 2014.
https://hal.inria.fr/tel-01104091

Articles in International Peer-Reviewed Journals

[12]
M. Amblard, C. Retoré.
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property, in: IFCoLog Journal of Logic and its Applications, June 2014, vol. 1, no 1, pp. 53–94, 41 pages.
https://hal.archives-ouvertes.fr/hal-01071642

International Conferences with Proceedings

[13]
C. Baskent.
Public Announcements, Topology and Paraconsistency, in: Informal Proceedings of LOFT Conference 2014, Bregen, Norway, July 2014.
https://hal.inria.fr/hal-01094782
[14]
M. Candito, G. Perrier, B. Guillaume, C. Ribeyre, K. Fort, D. Seddah, É. Villemonte De La Clergerie.
Deep Syntax Annotation of the Sequoia French Treebank, in: International Conference on Language Resources and Evaluation (LREC), Reykjavik, Iceland, May 2014.
https://hal.inria.fr/hal-00969191
[15]
A. Couillault, K. Fort, G. Adda, H. De Mazancourt.
Evaluating Corpora Documentation with regards to the Ethics and Big Data Charter, in: International Conference on Language Resources and Evaluation (LREC), Reykjavik, Iceland, May 2014.
https://hal.inria.fr/hal-00969180
[16]
L. Danlos, A. Maskharashvili, S. Pogodalla.
An ACG Analysis of the G-TAG Generation Process, in: INLG 2014 - 8th International Natural Language Generation Conference, Philadelphia, PA, United States, M. Mitchell, K. McCoy, D. McDonald, A. Cahill (editors), Proceedings of the 8th International Natural Language Generation Conference (INLG), Association for Computational Linguistics, June 2014, pp. 35-44.
https://hal.inria.fr/hal-00999595
[17]
L. Danlos, A. Maskharashvili, S. Pogodalla.
An ACG View on G-TAG and Its g-Derivation, in: LACL 2014 - Eight International Conference on Logical Aspects of Computational Linguistics, Toulouse, France, N. Asher, S. Soloviev (editors), Springer, June 2014, vol. 8535, pp. 70-82. [ DOI : 10.1007/978-3-662-43742-1_6 ]
https://hal.inria.fr/hal-00999633
[18]
L. Danlos, A. Maskharashvili, S. Pogodalla.
Génération de textes : G-TAG revisité avec les Grammaires Catégorielles Abstraites, in: TALN 2014 - 21ème conférence sur le Traitement Automatique des Langues Naturelles, Marseille, France, Actes de TALN 2014, Association pour le Traitement Automatique des Langues, July 2014, vol. 1, pp. 161-172.
https://hal.inria.fr/hal-00999589
[19]
P. De Groote, Y. Winter.
A type-logical account of quantification in event semantics, in: Logic and Engineering of Natural Language Semantics 11, Tokyo, Japan, November 2014.
https://hal.inria.fr/hal-01102261
[20]
K. Fort, B. Guillaume, H. Chastant.
Creating Zombilingo, a Game With A Purpose for dependency syntax annotation, in: Gamification for Information Retrieval (GamifIR'14) Workshop, Amsterdam, Netherlands, April 2014.
https://hal.inria.fr/hal-00969157
[21]
B. Guillaume, K. Fort, G. Perrier, P. Bedaride.
Mapping the Lexique des Verbes du Français (Lexicon of French Verbs) to a NLP Lexicon using Examples, in: International Conference on Language Resources and Evaluation (LREC), Reykjavik, Iceland, May 2014.
https://hal.inria.fr/hal-00969184
[22]
M. Lafourcade, K. Fort.
Propa-L: a Semantic Filtering Service from a Lexical Network Created using Games With A Purpose, in: International Conference on Language Resources and Evaluation (LREC), Reykjavik, Iceland, May 2014.
https://hal.inria.fr/hal-00969161
[23]
J. Maršík, M. Amblard.
Algebraic Effects and Handlers in Natural Language Interpretation, in: Natural Language and Computer Science, Vienne, Austria, technical report containing the joint proceedings of the NLCS and NLSR workshops, July 2014.
https://hal.archives-ouvertes.fr/hal-01079206

National Conferences with Proceedings

[24]
G. Adda, L. Besacier, A. Couillault, K. Fort, J. Mariani, H. De Mazancourt.
"Where the data are coming from?" Ethics, crowdsourcing and traceability for Big Data in Human Language Technology, in: Crowdsourcing and human computation multidisciplinary workshop, Paris, France, CNRS, September 2014.
https://hal.archives-ouvertes.fr/hal-01078045
[25]
M. Amblard, K. Fort.
Étude quantitative des disfluences dans le discours de schizophrènes : automatiser pour limiter les biais, in: TALN - Traitement Automatique des Langues Naturelles, Marseille, France, July 2014, pp. 292-303.
https://hal.inria.fr/hal-01054391
[26]
M. Amblard, K. Fort, M. Musiol, M. Rebuschi.
L'impossibilité de l'anonymat dans le cadre de l'analyse du discours, in: Journée ATALA éthique et TAL, Paris, France, November 2014.
https://hal.archives-ouvertes.fr/hal-01079308
[27]
K. Fort, B. Guillaume, V. Stern.
ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances, in: TALN - Traitement Automatique des Langues Naturelles, Marseille, France, July 2014, pp. 15-16.
https://hal.inria.fr/hal-01054395
[28]
G. Perrier, M. Candito, B. Guillaume, C. Ribeyre, K. Fort, D. Seddah.
Un schéma d'annotation en dépendances syntaxiques profondes pour le français, in: TALN - Traitement Automatique des Langues Naturelles, Marseille, France, July 2014, pp. 574-579.
https://hal.inria.fr/hal-01054407

Scientific Books (or Scientific Book chapters)

[29]
M. Amblard, S. Pogodalla.
Modeling the Dynamic Effects of Discourse: Principles and Frameworks, in: Dialogue, Rationality, and Formalism, M. Rebuschi, M. Batt, G. Heinzmann, F. Lihoreau, M. Musiol, A. Trognon (editors), Logic, Argumentation & Reasoning, Springer, 2014, vol. 3, pp. 247-282. [ DOI : 10.1007/978-3-319-03044-9_12 ]
https://hal.inria.fr/hal-00737765
[30]
G. Bonfante, B. Guillaume, M. Morey, G. Perrier.
Supertagging with Constraints, in: Constraint and Language, P. Blache, H. Christiansen, V. Dahl, D. Duchier, J. Villadsen (editors), Cambridge Scholar Publishing, 2014.
https://hal.inria.fr/hal-01097999
[31]
L. Danlos, P. De Groote, S. Pogodalla.
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars, in: New Frontiers in Artificial Intelligence. JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, Y. Nakano, K. Satoh, D. Bekki (editors), Lecture Notes in Computer Science, Springer International Publishing, November 2014, vol. 8417, pp. 3-16. [ DOI : 10.1007/978-3-319-10061-6_1 ]
https://hal.inria.fr/hal-00868382
[32]
V. Dufour-Lussier, B. Guillaume, G. Perrier.
Parsing Coordination Extragrammatically, in: 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, Z. Vetulani, J. Mariani (editors), Human Language Technology Challenges for Computer Science and Linguistics, Springer International Publishing, July 2014, 12 p. [ DOI : 10.1007/978-3-319-08958-4_5 ]
https://hal.inria.fr/hal-00921033
[33]
K. Fort, G. Adda, B. Sagot, J. Mariani, A. Couillault.
Crowdsourcing for Language Resource Development: Criticisms About Amazon Mechanical Turk Overpowering Use, in: Human Language Technology Challenges for Computer Science and Linguistics, Z. Vetulani, J. Mariani (editors), Springer International Publishing, July 2014, pp. 303-314. [ DOI : 10.1007/978-3-319-08958-4_25 ]
https://hal.inria.fr/hal-01053047
[34]
C. Gardent, Y. Parmentier, G. Perrier, S. Schmitz.
Lexical Disambiguation in LTAG using Left Context, in: 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, Z. Vetulani, J. Mariani (editors), Lecture Notes in Computer Science (LNCS) series / Lecture Notes in Artificial Intelligence (LNAI) subseries, Springer, July 2014, vol. 8387, pp. 67-79. [ DOI : 10.1007/978-3-319-08958-4_6 ]
https://hal.inria.fr/hal-00921246
[35]
M. Rebuschi, M. Amblard, M. Musiol.
Using SDRT to analyze pathological conversations. Logicality, rationality and pragmatic deviances, in: Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics: Dialogue, Rationality, and Formalism, M. Rebuschi, M. Batt, G. Heinzmann, F. Lihoreau, M. Musiol, A. Trognon (editors), Logic, Argumentation & Reasoning, Springer, 2014, pp. 1–24.
https://hal.archives-ouvertes.fr/hal-00910725

Internal Reports

[36]
G. Perrier.
FRIGRAM: a French Interaction Grammar, Inria Nancy, December 2014, no RR-8323, 257 p.
https://hal.inria.fr/hal-00840254

Other Publications

[37]
C. Baskent.
Some Non-Classical Approaches to the Branderburger-Keisler Paradox, December 2014.
https://hal.inria.fr/hal-01094784
[38]
C. Baskent.
Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω, 2014.
https://hal.inria.fr/hal-01094786
[39]
C. Baskent.
Which Society, Which Software?, 2014.
https://hal.inria.fr/hal-01094785
References in notes
[40]
Y. Bar-Hillel.
Out of the pragmatic wastebasket, in: Linguistic Inquiry, 1971, vol. 2, no 3, pp. 401–407.
[41]
C. Barker.
Continuations and the Nature of Quantification, in: Natural Language Semantics, 2002, vol. 10, no 3, pp. 211–242.
[42]
C. Barker.
Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
[43]
C. Baskent.
Game Semantics: A Paraconsistent Approach, under review.
[44]
C. Baskent.
Inquiry, Refutations and the Inconsistent, 2015.
https://hal.inria.fr/hal-01094783
[45]
G. Bonfante, B. Guillaume, M. Morey.
Dependency Constraints for Lexical Disambiguation, in: 11th International Conference on Parsing Technologies - IWPT'09, Paris, France, Association for Computational Linguistics, October 2009, pp. 242-253.
https://hal.inria.fr/inria-00440795
[46]
G. Bonfante, B. Guillaume, G. Perrier.
Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation, in: 20th Conference on Computational Linguistics - CoLing'2004, Genève, Suisse, 2004, pp. 303-309, Colloque avec actes et comité de lecture internationale.
https://hal.inria.fr/inria-00099886
[47]
M. Candito, D. Seddah.
Le corpus Sequoia : annotation syntaxique et exploitation pour l'adaptation d'analyseur par pont lexical, in: Proc. of TALN, Grenoble, France, June 2012.
[48]
N. Chomsky.
Three models for the description of language, in: Information Theory, IRE Transactions on, 1956, vol. 2, no 3, pp. 113–124.
[49]
A. Church.
A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, no 2, pp. 56–68.
[50]
L. Danlos.
D-STAG : un formalisme d'analyse automatique de discours basé sur les TAG synchrones, in: T.A.L., 2009, vol. 50, no 1, pp. 111–143.
http://hal.inria.fr/inria-00524743/en/
[51]
L. Danlos.
D-STAG: a Formalism for Discourse Analysis based on SDRT and using Synchronous TAG, in: 14th conference on Formal Grammar - FG 2009, P. de Groote, M. Egg, L. Kallmeyer (editors), LNCS/LNAI, Springer, 2011, vol. 5591, pp. 64–84.
http://dx.doi.org/10.1007/978-3-642-20169-1_5
[52]
L. Danlos.
G-TAG : Un formalisme lexicalisé pour la génération de textes inspiré de TAG, in: Traitement Automatique des Langues, 1998, vol. 39, no 2.
[53]
J. Dubois, F. Dubois-Charlier.
Les verbes français, Larousse-Bordas, Paris, France, 1997.
[54]
M. Felleisen, D. P. Friedman, E. Kohlbecker, B. Duba.
A syntactic theory of sequential control, in: Theor. Comput. Sci., June 1987, vol. 52, pp. 205–237.
http://dx.doi.org/10.1016/0304-3975(87)90109-5
[55]
M. Felleisen, R. Hieb.
The revised report on the syntactic theories of sequential control and state, in: Theoretical Computer Science, 1992, vol. 103, no 2, pp. 235 - 271. [ DOI : 10.1016/0304-3975(92)90014-7 ]
http://www.sciencedirect.com/science/article/pii/0304397592900147
[56]
D. Gallin.
Intensional and higher-order modal logic: with applications to Montague semantics, North-Holland mathematics studies, North-Holland, 1975.
http://books.google.fr/books?id=jkiNo5Rok7cC
[57]
C. Gardent, L. Kallmeyer.
Semantic construction in Feature-Based TAG, in: Proceedings of the 10th Meeting of the European Chapter of the Association for Computational Linguistics (EACL), 2003, pp. 123–130.
http://www.aclweb.org/anthology/E03-1030
[58]
J. Groenendijk, M. Stokhof.
Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, no 1, pp. 39–100.
[59]
B. Guillaume, G. Perrier.
Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
[60]
A. K. Joshi, L. S. Levy, M. Takahashi.
Tree Adjunct Grammars, in: Journal of Computer and System Sciences, 1975, vol. 10, no 1, pp. 136–163.
http://dx.doi.org/10.1016/S0022-0000(75)80019-5
[61]
A. K. Joshi, Y. Schabes.
Tree-adjoining grammars, in: Handbook of formal languages, G. Rozenberg, A. K. Salomaa (editors), Springer, 1997, vol. 3, chap. 2.
[62]
L. Kallmeyer, M. Romero.
Scope and Situation Binding for LTAG, in: Research on Language and Computation, 2008, vol. 6, no 1, pp. 3–52.
http://dx.doi.org/10.1007/s11168-008-9046-6
[63]
H. Kamp, U. Reyle.
From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory, Kluwer Academic Dordrecht, The Netherlands, 1993, vol. 42.
[64]
M. Kanazawa, S. Salvati.
Generating Control Languages with Abstract Categorial Grammars, in: Proceedings of the 12th conference on Formal Grammar, 2007.
[65]
J. Lambek.
The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, no 3, pp. 154–170.
[66]
F. Meunier.
Implantation du formalisme de génération G-TAG, Université Paris 7 — Denis Diderot, 1997.
[67]
R. Montague.
English as a formal language, in: Linguaggi nella societae nella tecnica, 1970, pp. 189–224.
[68]
R. Montague.
Universal grammar, in: Theoria, 1970, vol. 36, no 3, pp. 373–398.
[69]
R. Montague.
The Proper Treatment of Quantification in Ordinary English, in: Formal Semantics, 1973, pp. 221–242.
[70]
M. Moortgat.
Categorial type logics, in: Handbook of logic and language, 1997, pp. 93–177.
[71]
C. Morris.
Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
[72]
G. Perrier.
A French Interaction Grammar, in: International Conference on Recent Advances in Natural Language Processing - RANLP 2007, Borovets, Bulgarie, G. Angelova, K. Bontcheva, R. Mitkov, N. Nicolov, K. Simov (editors), INCOMA Ltd, Shoumen, Bulgaria, 2007, pp. 463-467.
http://hal.inria.fr/inria-00184108/en/
[73]
S. Pogodalla.
Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees, in: Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms - TAG+7, Vancouver, BC, Canada, 2004, pp. 64-71, Colloque avec actes et comité de lecture. Internationale.
https://hal.inria.fr/inria-00107768
[74]
S. Pogodalla.
Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II, 2009.
https://hal.inria.fr/hal-00749297
[75]
S. Qian.
Accessibility of Referents in Discourse Semantics, Université de Lorraine, November 2014.
https://hal.inria.fr/tel-01104091
[76]
C. Retoré, S. Salvati.
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars, in: Journal of Logic Language and Information, April 2010, vol. 19, no 2, pp. 185–200.
http://hal.inria.fr/inria-00409557/en/
[77]
J. Rogers.
A model-theoretic framework for theories of syntax, in: Proceedings of the 34th annual meeting on Association for Computational Linguistics, Association for Computational Linguistics, 1996, pp. 10–16.
[78]
C.-C. Shan.
Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
[79]
C. Strachey, C. P. Wadsworth.
Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, pp. 135–152.
[80]
P. de Groote.
Towards abstract categorial grammars, in: Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France, July 2001, pp. 148-155, Colloque avec actes et comité de lecture. internationale.
https://hal.inria.fr/inria-00100529
[81]
P. de Groote.
Towards abstract categorial grammars, in: Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, Association for Computational Linguistics, 2001, pp. 252–259.
[82]
P. de Groote.
Tree-Adjoining Grammars as Abstract Categorial Grammars, in: TAG+6, Proceedings of the sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, Università di Venezia, 2002, pp. 145–150.
[83]
P. de Groote.
Towards a montagovian account of dynamics, in: Semantics and Linguistic Theory (SALT) 16, M. Gibson, J. Howell (editors), 2006, pp. 1-16.
[84]
P. de Groote, S. Pogodalla.
m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
[85]
P. de Groote, S. Pogodalla.
On the expressive power of abstract categorial grammars: Representing context-free formalisms, in: Journal of Logic, Language and Information, 2004, vol. 13, no 4, pp. 421–438.
[86]
J. van Benthem.
Essays in logical semantics, Reidel, 1986, no 29.
[87]
K. van den Eynde, C. Blanche-Benveniste.
Syntaxe et mécanismes : présentation de l'approche pronominale, in: Cahiers de Lexicologie, 1978, vol. 32, pp. 3–37.