Members
Overall Objectives
Research Program
Application Domains
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]
B. Guillaume, G. Perrier.
Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
[5]
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
[6]
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.
[7]
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
[8]
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

[9]
F. Pompigne.
Modélisation logique de la langue et Grammaires Catégorielles Abstraites, Université de Lorraine, December 2013.
http://hal.inria.fr/tel-00921040

Articles in International Peer-Reviewed Journals

[10]
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 ]
http://hal.inria.fr/hal-00909207
[11]
M. Rebuschi, M. Amblard, M. Musiol.
Schizophrénie, logicité et compréhension en première personne, in: L'évolution psychiatrique, January 2013, vol. 78, no 1, pp. 127-141.
http://hal.inria.fr/hal-00869681

International Conferences with Proceedings

[12]
G. Bonfante, B. Guillaume.
Non-simplifying Graph Rewriting Termination, in: TERMGRAPH, Rome, Italy, R. Echahed, D. Plump (editors), 2013, pp. 4-16.
http://hal.inria.fr/hal-00921053
[13]
L. Danlos, P. De Groote, S. Pogodalla.
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars, in: LENLS 10 - Logic and Engineering of Natural Language Semantics 10, Kanagawa, Japan, S. Yatabe, D. Bekk, E. McCready (editors), October 2013.
http://hal.inria.fr/hal-00868382
[14]
J. Marsik, M. Amblard.
Integration of Multiple Constraints in ACG, in: Logic and Engineering of Natural Language Semantics 10, Kanagawa, Japan, October 2013, pp. 1-14.
http://hal.inria.fr/hal-00869748
[15]
A. Maskharashvili, S. Pogodalla.
Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar Perspective, in: 6th International Joint Conference on Natural Language Processing, Nagoya, Japan, The Asian Federation of Natural Language Processing, October 2013, pp. 1257-1263.
http://hal.inria.fr/hal-00868363
[16]
G. Perrier, B. Guillaume.
FRIGRAM: a French Interaction Grammar, in: ESSLLI 2013 - Workshop on High-level Methodologies for Grammar Engineering, Düsseldorf, Germany, D. Duchier, Y. Parmentier (editors), Université de Düsseldorf, August 2013, pp. 63-74.
http://hal.inria.fr/hal-00920717
[17]
S. Pogodalla.
Comments to Yao and Zou on: "Hybrid Categorial Type Logics and the Formal Treatment of Chinese", in: Tsinghua Logic Conference, Beijing, China, J. van Benthem, F. Liu (editors), Studies in Logic, College Publications, September 2013, vol. 47, pp. 269-274.
http://hal.inria.fr/hal-00868241

National Conferences with Proceedings

[18]
A. Couillault, K. Fort.
Charte Éthique et Big Data : parce que mon corpus le vaut bien !, in: Linguistique, Langues et Parole : Statuts, Usages et Mésusages, Strasbourg, France, July 2013, 4 p.
http://hal.inria.fr/hal-00820352
[19]
B. Guillaume, K. Fort.
Expériences de formalisation d'un guide d'annotation : vers l'annotation agile assistée, in: 20e conférence sur le Traitement Automatique des Langues Naturelles, Les Sables d'Olonne, France, June 2013, pp. 628–635.
http://hal.inria.fr/hal-00840895
[20]
G. Perrier.
Analyse statique des interactions entre structures élémentaires d'une grammaire, in: TALN 2013, Les Sables d'Olonne, France, E. Morin, Y. Estève (editors), Université de Nantes, June 2013, pp. 604-611.
http://hal.inria.fr/hal-00920757

Conferences without Proceedings

[21]
M. Musiol, M. Amblard, M. Rebuschi.
Approche sémantico-formelle des troubles du discours : les conditions de la saisie de leurs aspects pyscholinguistiques., in: 27ème Congrès International de Linguistique et de Philologie Romanes, Nancy, France, July 2013.
http://hal.inria.fr/hal-00910701
[22]
M. Rebuschi, M. Amblard, M. Musiol.
Interpreting conversations in pathological contexts, in: Investigating semantics: Empirical and philosophical approaches, Bochum, Germany, October 2013.
http://hal.inria.fr/hal-00910709

Scientific Books (or Scientific Book chapters)

[23]
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.
http://hal.inria.fr/hal-00737765
[24]
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 (editor), Lecture Notes in Artificial Intelligence, Springer, 2014, Accepted for publication.
http://hal.inria.fr/hal-00921246
[25]
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, 2013, pp. 1–24.
http://hal.inria.fr/hal-00910725

Internal Reports

[26]
G. Perrier.
FRIGRAM: a French Interaction Grammar, Inria, July 2013, no RR-8323.
http://hal.inria.fr/hal-00840254

Other Publications

[27]
G. Bonfante, B. Guillaume.
Non-size increasing Graph Rewriting for Natural Language Processing, 2013, Accepted for publication in MSCS (Mathematical Structures for Computer Science).
http://hal.inria.fr/hal-00921038
[28]
V. Dufour-Lussier, B. Guillaume, G. Perrier.
Parsing Coordination Extragrammatically, 2013, accepted for publication in LNAI (Lecture Notes in Artificial Intelligence).
http://hal.inria.fr/hal-00921033
[29]
G. Perrier, B. Guillaume.
Leopar: an Interaction Grammar Parser, in: ESSLLI 2013 - Workshop on High-level Methodologies for Grammar Engineering, Düsseldorf, Germany, D. Duchier, Y. Parmentier (editors), August 2013, pp. 121-122.
http://hal.inria.fr/hal-00920728
References in notes
[30]
Y. Bar-Hillel.
Out of the pragmatic wastebasket, in: Linguistic Inquiry, 1971, vol. 2, no 3, pp. 401–407.
[31]
C. Barker.
Continuations and the Nature of Quantification, in: Natural Language Semantics, 2002, vol. 10, no 3, pp. 211–242.
[32]
C. Barker.
Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
[33]
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.
[34]
N. Chomsky.
Three models for the description of language, in: Information Theory, IRE Transactions on, 1956, vol. 2, no 3, pp. 113–124.
[35]
A. Church.
A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, no 2, pp. 56–68.
[36]
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
[37]
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
[38]
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
[39]
J. Groenendijk, M. Stokhof.
Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, no 1, pp. 39–100.
[40]
B. Guillaume, G. Perrier.
Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
[41]
L. Kallmeyer, M. Kuhlmann.
A Formal Model for Plausible Dependencies in Lexicalized Tree Adjoining Grammar, in: Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+11), 2012, pp. 108–116.
http://www.ida.liu.se/~marku61/publications/kallmeyer2012formal.html
[42]
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.
[43]
M. Kanazawa, S. Salvati.
Generating Control Languages with Abstract Categorial Grammars, in: Proceedings of the 12th conference on Formal Grammar, 2007.
[44]
J. Lambek.
The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, no 3, pp. 154–170.
[45]
R. Montague.
English as a formal language, in: Linguaggi nella societae nella tecnica, 1970, pp. 189–224.
[46]
R. Montague.
Universal grammar, in: Theoria, 1970, vol. 36, no 3, pp. 373–398.
[47]
R. Montague.
The Proper Treatment of Quantification in Ordinary English, in: Formal Semantics, 1973, pp. 221–242.
[48]
M. Moortgat.
Categorial type logics, in: Handbook of logic and language, 1997, pp. 93–177.
[49]
M. Morey.
Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés, Université de Lorraine, November 2011.
http://tel.archives-ouvertes.fr/tel-00640561/en/
[50]
C. Morris.
Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
[51]
G. Perrier, B. Guillaume.
Semantic Annotation of the French Treebank with Modular Graph Rewriting, in: META-RESEARCH Workshop on Advanced Treebanking, LREC 2012 Workshop, Istanbul, Turquie, J. Hajic (editor), 2012.
http://hal.inria.fr/hal-00760577
[52]
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/
[53]
S. Pogodalla.
Computing semantic representation: Towards ACG abstract terms as derivation trees, in: Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), 2004.
[54]
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/
[55]
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.
[56]
C.-C. Shan.
Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
[57]
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.
[58]
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.
[59]
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.
[60]
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.
[61]
P. de Groote, S. Pogodalla.
m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
[62]
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.
[63]
J. van Benthem.
Essays in logical semantics, Reidel, 1986, no 29.