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.

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

  • 3G. 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.

  • 4P. 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 ]

  • 5B. Guillaume, G. Perrier.

    Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
  • 6P. 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.

  • 7P. 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.
  • 8P. 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 ]

  • 9P. de Groote.

    Towards a Montagovian Account of Dynamics, in: 16th Semantics and Linguistic Theory conference - SALT2006, Tokyo, Japan, M. Gibson, J. Howell (editors), 2006.

Publications of the year

Articles in International Peer-Reviewed Journals

  • 10M. Amblard.

    La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique, in: Traitement Automatique des Langues, August 2015, vol. 56, no 1, 25 p.

  • 11M. Amblard, K. Fort, C. Demily, N. Franck, M. Musiol.

    Analyse lexicale outillée de la parole transcrite de patients schizophrènes, in: Traitement Automatique des Langues, August 2015, vol. 55, no 3, 25 p.

  • 12G. Perrier, B. Guillaume.

    Frigram: a French Interaction Grammar, in: Journal of Language Modelling, 2015, vol. 3, no 1, 52 p.


International Conferences with Proceedings

  • 13L. Danlos, A. Maskharashvili, S. Pogodalla.

    Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG, in: TALN 2015 - 22e conférence sur le Traitement Automatique des Langues Naturelles, Caen, France, Actes de TALN 2015, Association pour le Traitement Automatique des Langues, June 2015, pp. 158-169.

  • 14P. De Groote.

    Abstract Categorial Parsing as Linear Logic Programming, in: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), Chicago, United States, Association for Computational Linguistics, 2015, pp. 15–25.

  • 15P. De Groote.

    On Logical Relations and Conservativity, in: NLCS'15. Third Workshop on Natural Language and Computer Science, Kyoto, Japan, M. Kanazawa, L. S. Moss, V. de Paiva (editors), EasyChair Proceedings in Computing, 2015, vol. 32, pp. 1-11.

  • 16P. De Groote.

    Proof-Theoretic Aspects of the Lambek-Grishin Calculus, in: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, United States, V. de Paiva, R. J. G. B. de Queiroz, L. S. Moss, D. Leivant, A. G. de Oliveira (editors), Lecture Notes in Computer Science, 2015, vol. 9160, pp. 109–123.

  • 17B. Guillaume, G. Perrier.

    Dependency Parsing with Graph Rewriting, in: IWPT 2015, 14th International Conference on Parsing Technologies, Bibao, Spain, 14th International Conference on Parsing Technologies - Proceedings of the Conference, 2015.

  • 18L. Kallmeyer, T. Lichte, R. Osswald, S. Pogodalla, C. Wurm.

    Quantification in Frame Semantics with Hybrid Logic, in: Type Theory and Lexical Semantics, Barcelona, Spain, R. Cooper, C. Retoré (editors), ESSLLI 2015, August 2015.


National Conferences with Proceedings

  • 19B. Guillaume.

    Online Graph Matching, in: Traitement Automatique des Langues Naturelles (TALN), Caen, France, Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN'2015), Caen (France), June 2015.


Conferences without Proceedings

Scientific Books (or Scientific Book chapters)

  • 21M. Amblard, A. Boumaza.

    Robots humains, avez-donc une réalité ?, in: AIhilosophy, Geoinformatics & Law, M. Jankowska, M. Pawelczyk, S. Allouche, M. Kulawiak (editors), IUS PUBLICUM, December 2015, 14 p.


Other Publications

  • 22M. Candito, G. Perrier.

    Guide d'annotation en dépendances profondes pour le français, 2015, 129 p, Ce guide décrit le schéma d'annotation en dépendances profondes utilisé pour l'annotation en syntaxe profonde du corpus Sequoia initialement annoté en syntaxe de surface.

  • 23L. Kallmeyer, R. Osswald, S. Pogodalla.

    Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics, August 2015, Colloque de Syntaxe et Sémantique à Paris (CSSP 2015).

  • 24S. Pogodalla.

    Functional Approach to Tree-Adjoining Grammars and Semantic Interpretation: an Abstract Categorial Grammar Account, December 2015, working paper or preprint.

References in notes
  • 25P. Blackburn, J. V. Benthem, F. Wolter (editors)

    Handbook of Modal Logic, Studies in Logic and Practical Reasoning, Elsevier, 2007, vol. 3.
  • 26T. Gamerschlag, D. Gerland, R. Osswald, W. Petersen (editors)

    Frames and Concept Types, Studies in Linguistics and Philosophy, Springer International Publishing, 2014, vol. 94.

  • 27C. 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.

  • 28Y. Bar-Hillel.

    Out of the pragmatic wastebasket, in: Linguistic Inquiry, 1971, vol. 2, no 3, pp. 401–407.
  • 29C. Barker.

    Continuations and the Nature of Quantification, in: Natural Language Semantics, 2002, vol. 10, no 3, pp. 211–242.
  • 30C. Barker.

    Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
  • 31L. 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.
  • 32G. 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.

  • 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, no 3, pp. 113–124.
  • 35A. Church.

    A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, no 2, pp. 56–68.
  • 36L. 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.

  • 37L. 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.

  • 38M. 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.

  • 39M. 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 ]

  • 40C. J. Fillmore.

    Frame Semantics, in: Linguistics in the Morning Calm, Seoul, T. L. S. of Korea (editor), Hanshin Publishing Co., 1982, pp. 111–137.
  • 41K. 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, no 3, pp. 261-279, Special Issue: Discourse and Information Structure.

  • 42K. Forbes-Riley, B. L. Webber, A. K. Joshi.

    Computing Discourse Semantics: The Predicate-Argument Semantics of Discourse Connectives in D-LTAG, in: Journal of Semantics, 2006, vol. 23, no 1, pp. 55-106.

  • 43D. Gallin.

    Intensional and higher-order modal logic: with applications to Montague semantics, North-Holland mathematics studies, North-Holland, 1975.

  • 44C. 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.

  • 45V. Grishin.

    On a Generalization of the Ajdukiewicz-Lambek System, in: Studies in non-classical logics and formal systems, Moscow, A. Mikhailov (editor), Nauka, 1983, pp. 315–334.
  • 46J. Groenendijk, M. Stokhof.

    Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, no 1, pp. 39–100.
  • 47B. Guillaume, G. Bonfante, P. Masson, M. Morey, G. Perrier.

    Grew : un outil de réécriture de graphes pour le TAL, in: 12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12), Grenoble, France, G. Antoniadis, H. Blanchon, G. Sérasset (editors), 2012.
  • 48A. 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.

  • 49A. K. Joshi, Y. Schabes.

    Tree-adjoining grammars, in: Handbook of formal languages, G. Rozenberg, A. K. Salomaa (editors), Springer, 1997, vol. 3, chap. 2.
  • 50L. Kallmeyer, R. Osswald.

    Syntax-Driven Semantic Frame Composition in Lexicalized Tree Adjoining Grammars, in: Journal of Language Modelling, 2013, vol. 1, no 2, pp. 267–330.

  • 51L. Kallmeyer, M. Romero.

    Scope and Situation Binding for LTAG, in: Research on Language and Computation, 2008, vol. 6, no 1, pp. 3–52.

  • 52H. 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.
  • 53M. Kanazawa.

    Parsing and generation as Datalog queries, in: Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2007, pp. 176–183.
  • 54M. Kanazawa.

    Parsing and generation as Datalog query evaluation, 2011, Last revised August 26, 2011. 74 pages. (Under review).
  • 55M. Kanazawa, S. Salvati.

    Generating Control Languages with Abstract Categorial Grammars, in: Proceedings of the 12th conference on Formal Grammar, 2007.
  • 56J. Lambek.

    The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, no 3, pp. 154–170.
  • 57E. Lebedeva.

    Expression de la dynamique du discours à l'aide de continuations, Université de Lorraine, 2012.
  • 58S. 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.
  • 59S. 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, no 94, pp. 23–67.

  • 60R. Montague.

    English as a formal language, in: Linguaggi nella societae nella tecnica, 1970, pp. 189–224.
  • 61R. Montague.

    Universal grammar, in: Theoria, 1970, vol. 36, no 3, pp. 373–398.
  • 62R. Montague.

    The Proper Treatment of Quantification in Ordinary English, in: Formal Semantics, 1973, pp. 221–242.
  • 63M. Moortgat.

    Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus, in: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, Lecture Notes in Computer Science, Springer, 2007, vol. 4576, pp. 264–284.
  • 64M. Moortgat.

    Symmetric categorial grammar, in: Journal of Philosophical Logic, 2009, vol. 38, no 6, pp. 681–710.
  • 65M. Moortgat.

    Categorial type logics, in: Handbook of logic and language, 1997, pp. 93–177.
  • 66C. Morris.

    Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
  • 67R. N. Nesson, S. M. Shieber.

    Simpler TAG Semantics Through Synchronization, in: Proceedings of the 11th Conference on Formal Grammar, Malaga, Spain, CSLI Publications, 7 2006.

  • 68J. Nivre, Ž. Agić, M. J. Aranzabe, M. Asahara, A. Atutxa, M. Ballesteros, J. Bauer, K. Bengoetxea, R. A. Bhat, C. Bosco, S. Bowman, G. G. A. Celano, M. Connor, M.-C. de Marneffe, A. Diaz de Ilarraza, K. Dobrovoljc, T. Dozat, T. Erjavec, R. Farkas, J. Foster, D. Galbraith, F. Ginter, I. Goenaga, K. Gojenola, Y. Goldberg, B. Gonzales, B. Guillaume, J. Hajič, D. Haug, R. Ion, E. Irimia, A. Johannsen, H. Kanayama, J. Kanerva, S. Krek, V. Laippala, A. Lenci, N. Ljubešić, T. Lynn, 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, S. Mori, H. Nurmi, P. Osenova, L. Øvrelid, E. Pascual, M. Passarotti, C.-A. Perez, S. Petrov, J. Piitulainen, B. Plank, M. Popel, P. Prokopidis, S. Pyysalo, L. Ramasamy, R. Rosa, S. Saleh, S. Schuster, W. Seeker, M. Seraji, N. Silveira, M. Simi, R. Simionescu, K. Simkó, K. Simov, A. Smith, J. Štěpánek, A. Suhr, Z. Szántó, T. Tanaka, R. Tsarfaty, S. Uematsu, L. Uria, V. Varga, V. Vincze, Z. Žabokrtský, D. Zeman, H. Zhu.

    Universal Dependencies 1.2, 2015, LINDAT/CLARIN digital library at Institute of Formal and Applied Linguistics, Charles University in Prague.

  • 69G. 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.

  • 70G. 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.

  • 71W. Petersen.

    Representation of Concepts as Frames, in: The Baltic International Yearbook of Cognition, Logic and Communication, 2007, vol. 2, pp. 151–170.

  • 72S. 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.

  • 73S. Pogodalla.

    Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II, 2009.

  • 74C. 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.

  • 75J. 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.
  • 76C.-C. Shan.

    Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
  • 77S. M. Shieber.

    Unifying Synchronous Tree-Adjoining Grammars and Tree Transducers via Bimorphisms, in: Proceedings of the 11th Conference of the European Chapter of the Association for Computational Linguistics (EACL-06), Trento, Italy, 3–7 April 2006, pp. 377–384.

  • 78C. Strachey, C. P. Wadsworth.

    Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, pp. 135–152.
  • 79B. L. Webber, A. K. Joshi.

    Anchoring a Lexicalized Tree-Adjoining Grammar for Discourse, in: Proccedings of the ACL/COLING workshop on Discourse Relations and Discourse Markers, M. Stede, L. Wanner, E. Hovy (editors), 1998.

  • 80B. L. Webber.

    D-LTAG: extending lexicalized TAG to discourse, in: Cognitive Science, 2004, vol. 28, no 5, pp. 751–779.

  • 81P. de Groote, F. Lamarche.

    Classical Non-Associative Lambek Calculus, in: Studia Logica, 2002, vol. 71, pp. 355–388.
  • 82P. 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.
  • 83P. de Groote.

    Towards a montagovian account of dynamics, in: Semantics and Linguistic Theory (SALT) 16, M. Gibson, J. Howell (editors), 2006, pp. 1-16.
  • 84P. de Groote, S. Pogodalla.

    m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
  • 85J. van Benthem.

    Essays in logical semantics, Reidel, 1986, no 29.