Bibliography

Major publications by the team in recent years

• 1N. 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
• 2G. 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/
• 3G. Bonfante, B. Guillaume, G. Perrier.
  
  Analyse syntaxique électrostatique, in: Traitement Automatique des Langues (TAL), 2003, vol. 44, n^o 3, pp. 93-120, Article dans revue scientifique avec comité de lecture nationale.
  
  http://hal.inria.fr/inria-00099582/en/
• 4B. Guillaume, G. Perrier.
  
  Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
• 5P. 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
• 6P. 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, n^o 4, pp. 421–438.
• 7P. 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, n^o 2-4, pp. 211-231. [ DOI : 10.3233/FI-2011-384 ]
  
  http://hal.inria.fr/inria-00565598/en
• 8P. 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

• 9F. 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

• 10P. De Groote, M. Kanazawa.
  
  A Note on Intensionalization, in: Journal of Logic, Language and Information, 2013, vol. 22, n^o 2, pp. 173-194. [ DOI : 10.1007/s10849-013-9173-9 ]
  
  http://hal.inria.fr/hal-00909207
• 11M. Rebuschi, M. Amblard, M. Musiol.
  
  Schizophrénie, logicité et compréhension en première personne, in: L'évolution psychiatrique, January 2013, vol. 78, n^o 1, pp. 127-141.
  
  http://hal.inria.fr/hal-00869681

International Conferences with Proceedings

• 12G. 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
• 13L. 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
• 14J. 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
• 15A. 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
• 16G. 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
• 17S. 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

• 18A. 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
• 19B. 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
• 20G. 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

• 21M. 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
• 22M. 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)

• 23M. 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
• 24C. 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
• 25M. 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

• 26G. Perrier.
  
  FRIGRAM: a French Interaction Grammar, Inria, July 2013, n^o RR-8323.
  
  http://hal.inria.fr/hal-00840254

Other Publications

• 27G. 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
• 28V. 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
• 29G. 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

• 30Y. Bar-Hillel.
  
  Out of the pragmatic wastebasket, in: Linguistic Inquiry, 1971, vol. 2, n^o 3, pp. 401–407.
• 31C. Barker.
  
  Continuations and the Nature of Quantification, in: Natural Language Semantics, 2002, vol. 10, n^o 3, pp. 211–242.
• 32C. Barker.
  
  Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
• 33M. 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.
• 34N. Chomsky.
  
  Three models for the description of language, in: Information Theory, IRE Transactions on, 1956, vol. 2, n^o 3, pp. 113–124.
• 35A. Church.
  
  A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, n^o 2, pp. 56–68.
• 36M. 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
• 37M. Felleisen, R. Hieb.
  
  The revised report on the syntactic theories of sequential control and state, in: Theoretical Computer Science, 1992, vol. 103, n^o 2, pp. 235 - 271. [ DOI : 10.1016/0304-3975(92)90014-7 ]
  
  http://www.sciencedirect.com/science/article/pii/0304397592900147
• 38D. 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
• 39J. Groenendijk, M. Stokhof.
  
  Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, n^o 1, pp. 39–100.
• 40B. Guillaume, G. Perrier.
  
  Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
• 41L. 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
• 42H. 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.
• 43M. Kanazawa, S. Salvati.
  
  Generating Control Languages with Abstract Categorial Grammars, in: Proceedings of the 12th conference on Formal Grammar, 2007.
• 44J. Lambek.
  
  The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, n^o 3, pp. 154–170.
• 45R. Montague.
  
  English as a formal language, in: Linguaggi nella societae nella tecnica, 1970, pp. 189–224.
• 46R. Montague.
  
  Universal grammar, in: Theoria, 1970, vol. 36, n^o 3, pp. 373–398.
• 47R. Montague.
  
  The Proper Treatment of Quantification in Ordinary English, in: Formal Semantics, 1973, pp. 221–242.
• 48M. Moortgat.
  
  Categorial type logics, in: Handbook of logic and language, 1997, pp. 93–177.
• 49M. 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/
• 50C. Morris.
  
  Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
• 51G. 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
• 52G. 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/
• 53S. 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.
• 54C. 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, n^o 2, pp. 185–200.
  
  http://hal.inria.fr/inria-00409557/en/
• 55J. 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.
• 56C.-C. Shan.
  
  Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
• 57C. Strachey, C. P. Wadsworth.
  
  Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, pp. 135–152.
• 58P. 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.
• 59P. 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.
• 60P. de Groote.
  
  Towards a montagovian account of dynamics, in: Semantics and Linguistic Theory (SALT) 16, M. Gibson, J. Howell (editors), 2006, pp. 1-16.
• 61P. de Groote, S. Pogodalla.
  
  m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
• 62P. 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, n^o 4, pp. 421–438.
• 63J. van Benthem.
  
  Essays in logical semantics, Reidel, 1986, n^o 29.