Bibliography

Major publications by the team in recent years

• 1G. 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/
• 2B. Guillaume, G. Perrier.
  
  Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
• 3P. 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
• 4P. 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.
• 5P. 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

• 6M. Amblard.
  
  Semantics and Discourse: from modelling to interpretation, Université de Lorraine (Nancy), November 2016, Habilitation à diriger des recherches.
  
  https://hal.inria.fr/tel-01415967
• 7J. Maršík.
  
  Effects and Handlers in Natural Language, Université de Lorraine, December 2016.
  
  https://hal.inria.fr/tel-01417467
• 8A. Maskharashvili.
  
  Discourse Modeling with Abstract Categorial Grammars, University of Lorraine ; Inria Nancy - Grand Est (Villers-lès-Nancy, France), December 2016.
  
  https://hal.inria.fr/tel-01412765

Articles in International Peer-Reviewed Journals

• 9M. Amblard.
  
  Pour un TAL responsable, in: Traitement Automatique des Langues, 2016, vol. 57, n^o 2, pp. 21 - 45.
  
  https://hal.inria.fr/hal-01414145
• 10M. Amblard, A. Boumaza.
  
  Human Robots, Are You Real Then?, in: Iride, 2016, vol. XXIX, n^o 2, pp. 287-298. [ DOI : 10.1414/84251 ]
  
  https://hal.inria.fr/hal-01391754
• 11S. Qian, P. De Groote, M. Amblard.
  
  Modal Subordination in Type Theoretic Dynamic Logic, in: Linguistic Issues in Language Technology, August 2016, vol. 14, 54 p.
  
  https://hal.inria.fr/hal-01370557

Invited Conferences

• 12M. Amblard.
  
  L'informaticien face au traitement du langage : que peut-on faire et que croit-on que nous faisons ?, in: 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, Strasbourg, France, February 2016.
  
  https://hal.inria.fr/hal-01280932

International Conferences with Proceedings

• 13L. Danlos, A. Maskharashvili, S. Pogodalla.
  
  Interfacing Sentential and Discourse TAG-based Grammars, in: The 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Düsseldorf, Germany, Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), June 2016.
  
  https://hal.inria.fr/hal-01328697
• 14P. De Groote.
  
  Lambek Categorial Grammars as Abstract Categorial Grammars, in: LENLS 13, Tokyo, Japan, Logic and Engineering of Natural Language Semantics 13, October 2016.
  
  https://hal.inria.fr/hal-01412795
• 15B. Guillaume, K. Fort, N. Lefèbvre.
  
  Crowdsourcing Complex Language Resources: Playing to Annotate Dependency Syntax, in: International Conference on Computational Linguistics (COLING), Osaka, Japan, Proceedings of the 26th International Conference on Computational Linguistics (COLING), December 2016.
  
  https://hal.inria.fr/hal-01378980
• 16J. Maršík, M. Amblard.
  
  Introducing a Calculus of Effects and Handlers for Natural Language Semantics, in: Formal Grammar 2016, Bozen-Bolzano, Italy, A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla (editors), Lecture Notes in Computer Science,, Springer Berlin Heidelberg, August 2016, vol. 9804, pp. 257–272. [ DOI : 10.1007/978-3-662-53042-9 ]
  
  https://hal.inria.fr/hal-01332762

Scientific Books (or Scientific Book chapters)

• 17L. Kallmeyer, R. Osswald, S. Pogodalla.
  
  For-Adverbials and Aspectual Interpretation: An LTAG Analysis Using Hybrid Logic and Frame Semantics, in: Empirical Issues in Syntax and Semantics 11, C. Piñón (editor), Empirical Issues in Syntax and Semantics, 2016, vol. 11.
  
  https://hal.inria.fr/hal-01417847

Books or Proceedings Editing

• 18M. Amblard, P. de Groote, S. Pogodalla, C. Retoré (editors)
  
  Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Nancy, France, 2016, vol. 10054. [ DOI : 10.1007/978-3-662-53826-5 ]
  
  https://hal.inria.fr/hal-01403271
• 19A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla (editors)
  
  Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, Lecture Notes in Computer Science, Springer Berlin Heidelberg, Italy, 2016, vol. 9804. [ DOI : 10.1007/978-3-662-53042-9 ]
  
  https://hal.inria.fr/hal-01360105

Scientific Popularization

• 20M. Amblard.
  
  Regard sur « À quoi rêvent les algorithmes », in: Interstices, January 2016.
  
  https://hal.inria.fr/hal-01280938

Other Publications

• 21L. Kallmeyer, R. Osswald, S. Pogodalla.
  
  Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic, December 2016, Submitted.
  
  https://hal.inria.fr/hal-01417853
• 22S. Pogodalla.
  
  ACGTK: un outil de développement et de test pour les grammaires catégorielles abstraites, 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, July 2016, JEP-TALN-RECITAL 2016, Poster - Démonstration aux 23ème Conférence sur le Traitement Automatique des Langues Naturelles JEP-TALN-RECITAL 2016, Paris, France.
  
  https://hal.inria.fr/hal-01328702
• 23S. Pogodalla.
  
  Parsing and Generation with Abstract Categorial Grammars : From Lexicon to Discourse, November 2016, Les rencontres du numérique de l'ANR, Poster.
  
  https://hal.inria.fr/hal-01417895

References in notes

• 24P. Blackburn, J. V. Benthem, F. Wolter (editors)
  
  Handbook of Modal Logic, Studies in Logic and Practical Reasoning, Elsevier, 2007, vol. 3.
• 25T. Gamerschlag, D. Gerland, R. Osswald, W. Petersen (editors)
  
  Frames and Concept Types, Studies in Linguistics and Philosophy, Springer International Publishing, 2014, vol. 94.
  
  http://dx.doi.org/10.1007/978-3-319-01541-5
• 26C. Areces, B. ten Cate.
  
  Hybrid logics, in: Handbook of Modal Logic, P. Blackburn, J. V. Benthem, F. Wolter (editors), Studies in Logic and Practical Reasoning, Elsevier, 2007, vol. 3, chap. 14, pp. 821–868.
  
  http://dx.doi.org/10.1016/S1570-2464(07)80017-6
• 27Y. Bar-Hillel.
  
  Out of the pragmatic wastebasket, in: Linguistic Inquiry, 1971, vol. 2, n^o 3, pp. 401–407.
• 28C. Barker.
  
  Continuations and the Nature of Quantification, in: Natural Language Semantics, 2002, vol. 10, n^o 3, pp. 211–242.
• 29C. Barker.
  
  Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
• 30L. Barsalou.
  
  Frames, concepts, and conceptual fields, in: Frames, fields, and contrasts: New essays in semantic and lexical organization, Hillsdale, A. Lehrer, E. F. Kittey (editors), Lawrence Erlbaum Associates, 1992, pp. 21–74.
• 31N. Chomsky.
  
  Three models for the description of language, in: Information Theory, IRE Transactions on, 1956, vol. 2, n^o 3, pp. 113–124.
• 32A. Church.
  
  A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, n^o 2, pp. 56–68.
• 33L. Danlos.
  
  D-STAG: a discourse analysis formalism based on synchronous TAGs, in: TAL, 2009, vol. 50, n^o 1, pp. 111–143.
• 34L. Danlos.
  
  G-TAG : un formalisme lexicalisé pour la génération de textes inspiré de TAG, in: Traitement Automatique des Langues, 1998, vol. 39, n^o 2, 28 p p.
• 35M. 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
• 36M. 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
• 37C. J. Fillmore.
  
  Frame Semantics, in: Linguistics in the Morning Calm, Seoul, T. L. S. of Korea (editor), Hanshin Publishing Co., 1982, pp. 111–137.
• 38K. Forbes, E. Miltsakaki, R. Prasad, A. Sarkar, A. K. Joshi, B. L. Webber.
  
  D-LTAG System: Discourse Parsing with a Lexicalized Tree-Adjoining Grammar, in: Journal of Logic, Language and Information, 2003, vol. 12, n^o 3, pp. 261–279.
• 39D. 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
• 40J. Groenendijk, M. Stokhof.
  
  Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, n^o 1, pp. 39–100.
• 41H. 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.
• 42M. Kanazawa, S. Salvati.
  
  Generating Control Languages with Abstract Categorial Grammars, in: Proceedings of the 12th conference on Formal Grammar, 2007.
• 43J. Lambek.
  
  The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, n^o 3, pp. 154–170.
• 44S. Löbner.
  
  Sub-compositionality, in: The Oxford Handbook of Compositionality, M. Werning, W. Hinzen, E. Machery (editors), Oxford Handbooks in Linguistics, Oxford University Press, 2012, chap. 10, pp. 220-241.
• 45S. Löbner.
  
  Evidence for frames from human language, in: Frames and Concept Types, Dordrecht, T. Gamerschlag, D. Gerland, R. Osswald, W. Petersen (editors), Studies in Linguistics and Philosophy, Springer, 2014, vol. 94, n^o 94, pp. 23–67.
  
  http://dx.doi.org/10.1007/978-3-319-01541-5_2
• 46R. Montague.
  
  English as a formal language, in: Linguaggi nella societae nella tecnica, 1970, pp. 189–224.
• 47R. Montague.
  
  Universal grammar, in: Theoria, 1970, vol. 36, n^o 3, pp. 373–398.
• 48R. Montague.
  
  The Proper Treatment of Quantification in Ordinary English, in: Formal Semantics, 1973, pp. 221–242.
• 49M. Moortgat.
  
  Categorial type logics, in: Handbook of logic and language, 1997, pp. 93–177.
• 50C. Morris.
  
  Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
• 51J. Nivre, Ž. Agić, L. Ahrenberg, M. J. Aranzabe, M. Asahara, A. Atutxa, M. Ballesteros, J. Bauer, K. Bengoetxea, Y. Berzak, R. A. Bhat, E. Bick, C. Börstell, C. Bosco, G. Bouma, S. Bowman, G. Cebiroğlu Eryiğit, G. G. A. Celano, F. Chalub, Ç. Çöltekin, M. Connor, E. Davidson, M.-C. de Marneffe, A. Diaz de Ilarraza, K. Dobrovoljc, T. Dozat, K. Droganova, P. Dwivedi, M. Eli, T. Erjavec, R. Farkas, J. Foster, C. Freitas, K. Gajdošová, D. Galbraith, M. Garcia, M. Gärdenfors, S. Garza, F. Ginter, I. Goenaga, K. Gojenola, M. Gökırmak, Y. Goldberg, X. Gómez Guinovart, B. Gonzáles Saavedra, M. Grioni, N. Grūzītis, B. Guillaume, J. Hajič, L. Hà Mỹ, D. Haug, B. Hladká, R. Ion, E. Irimia, A. Johannsen, F. Jørgensen, H. Kaşıkara, H. Kanayama, J. Kanerva, B. Katz, J. Kenney, N. Kotsyba, S. Krek, V. Laippala, L. Lam, P. Lê Hồng, A. Lenci, N. Ljubešić, O. Lyashevskaya, T. Lynn, A. Makazhanov, C. Manning, C. Mărănduc, D. Mareček, H. Martínez Alonso, A. Martins, J. Mašek, Y. Matsumoto, R. McDonald, A. Missilä, V. Mititelu, Y. Miyao, S. Montemagni, K. S. Mori, S. Mori, B. Moskalevskyi, K. Muischnek, N. Mustafina, K. Müürisep, L. Nguyễn Thị, H. Nguyễn Thị Minh, V. Nikolaev, H. Nurmi, P. Osenova, R. Östling, L. Øvrelid, V. Paiva, E. Pascual, M. Passarotti, C.-A. Perez, S. Petrov, J. Piitulainen, B. Plank, M. Popel, L. Pretkalniņa, P. Prokopidis, T. Puolakainen, S. Pyysalo, A. Rademaker, L. Ramasamy, L. Real, L. Rituma, R. Rosa, S. Saleh, B. Saulīte, S. Schuster, W. Seeker, M. Seraji, L. Shakurova, M. Shen, N. Silveira, M. Simi, R. Simionescu, K. Simkó, M. Šimková, K. Simov, A. Smith, C. Spadine, A. Suhr, U. Sulubacak, Z. Szántó, T. Tanaka, R. Tsarfaty, F. Tyers, S. Uematsu, L. Uria, G. van Noord, V. Varga, V. Vincze, L. Wallin, J. X. Wang, J. N. Washington, M. Wirén, Z. Žabokrtský, A. Zeldes, D. Zeman, H. Zhu.
  
  Universal Dependencies 1.4, 2016, LINDAT/CLARIN digital library at the Institute of Formal and Applied Linguistics, Charles University in Prague.
  
  http://hdl.handle.net/11234/1-1827
• 52J. Nivre, Ž. Agić, L. Ahrenberg, M. J. Aranzabe, M. Asahara, A. Atutxa, M. Ballesteros, J. Bauer, K. Bengoetxea, Y. Berzak, R. A. Bhat, C. Bosco, G. Bouma, S. Bowman, G. Cebiroğlu Eryiğit, G. G. A. Celano, Ç. Çöltekin, M. Connor, M.-C. de Marneffe, A. Diaz de Ilarraza, K. Dobrovoljc, T. Dozat, K. Droganova, T. Erjavec, R. Farkas, J. Foster, D. Galbraith, S. Garza, F. Ginter, I. Goenaga, K. Gojenola, M. Gokirmak, Y. Goldberg, X. Gómez Guinovart, B. Gonzáles Saavedra, N. Grūzītis, B. Guillaume, J. Hajič, D. Haug, B. Hladká, R. Ion, E. Irimia, A. Johannsen, H. Kaşıkara, H. Kanayama, J. Kanerva, B. Katz, J. Kenney, S. Krek, V. Laippala, L. Lam, A. Lenci, N. Ljubešić, O. Lyashevskaya, T. Lynn, A. Makazhanov, C. Manning, C. Mărănduc, D. Mareček, H. Martínez Alonso, J. Mašek, Y. Matsumoto, R. McDonald, A. Missilä, V. Mititelu, Y. Miyao, S. Montemagni, K. S. Mori, S. Mori, K. Muischnek, N. Mustafina, K. Müürisep, V. Nikolaev, H. Nurmi, P. Osenova, L. Øvrelid, E. Pascual, M. Passarotti, C.-A. Perez, S. Petrov, J. Piitulainen, B. Plank, M. Popel, L. Pretkalniņa, P. Prokopidis, T. Puolakainen, S. Pyysalo, L. Ramasamy, L. Rituma, R. Rosa, S. Saleh, B. Saulīte, S. Schuster, W. Seeker, M. Seraji, L. Shakurova, M. Shen, N. Silveira, M. Simi, R. Simionescu, K. Simkó, K. Simov, A. Smith, C. Spadine, A. Suhr, U. Sulubacak, Z. Szántó, T. Tanaka, R. Tsarfaty, F. Tyers, S. Uematsu, L. Uria, G. van Noord, V. Varga, V. Vincze, J. X. Wang, J. N. Washington, Z. Žabokrtský, D. Zeman, H. Zhu.
  
  Universal Dependencies 1.3, 2016, LINDAT/CLARIN digital library at the Institute of Formal and Applied Linguistics, Charles University in Prague.
  
  http://hdl.handle.net/11234/1-1699
• 53G. 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/
• 54S. 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
• 55C. 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/
• 56J. 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.
• 57C.-C. Shan.
  
  Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
• 58C. Strachey, C. P. Wadsworth.
  
  Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, pp. 135–152.
• 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, S. Pogodalla.
  
  m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
• 61J. van Benthem.
  
  Essays in logical semantics, Reidel, 1986, n^o 29.