EN FR
EN FR


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, p. 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, no 3, p. 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, p. 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, p. 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, no 4, p. 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, no 2-4, p. 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

International Conferences with Proceedings

  • 10K. Fort, A. Nazarenko, S. Rosset.

    Modeling the Complexity of Manual Annotation Tasks: a Grid of Analysis, in: International Conference on Computational Linguistics (COLING), Mumbai, India, December 2012.
  • 11Y. Mathet, A. Widlöcher, K. Fort, C. François, O. Galibert, C. Grouin, J. Kahn, S. Rosset, P. Zweigenbaum.

    Manual Corpus Annotation: Evaluating the Evaluation Metrics, in: International Conference on Computational Linguistics (COLING), Mumbai, India, December 2012, Poster.
  • 12G. 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), META-NET, May 2012.

    http://hal.inria.fr/hal-00760577
  • 13S. Qian, M. Amblard.

    Accessibility for Plurals in Continuation Semantics, in: the Ninth International Workshop of Logic and Engineering of Natural Language Semantics 9 (LENLS 9), Myasaki, Japon, 978-4-915905-51-3 C3004 (JSAI), November 2012, p. 52-65.

    http://hal.inria.fr/hal-00762203

National Conferences with Proceeding

  • 14G. Perrier, B. Guillaume.

    Annotation sémantique du French Treebank à l'aide de la réécriture modulaire de graphes, in: Conférence annuelle sur le Traitement Automatique des Langues - TALN'12, Grenoble, France, G. Antoniadis, H. Blanchon, G. Sérasset (editors), ATALA, June 2012, p. 293-306.

    http://hal.inria.fr/hal-00760629
  • 15G. Perrier, B. Guillaume.

    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), ATALA, June 2012.

    http://hal.inria.fr/hal-00760637

Conferences without Proceedings

  • 16M. Amblard, M. Musiol, M. Rebuschi.

    Schizophrénie et Langage : Analyse et modélisation. De l'utilisation des modèles formels en pragmatique pour la modélisation de discours pathologiques, in: Congrès MSH 2012, Caen, France, December 2012.

    http://hal.inria.fr/hal-00761540

Scientific Books (or Scientific Book chapters)

  • 17M. Amblard, S. Pogodalla.

    Modeling the Dynamic Effects of Discourse: Principles and Frameworks, in: Dialogue, Rationality, Formalism, G. Heinzmann, M. Musiol, M. Rebuschi, A. Trognon (editors), Logic, Epistemology, and the Unity of Science, Springer, 2013.

    http://hal.inria.fr/hal-00737765
  • 18P. de Groote, C. Blom, Y. Winter, J. Zwarts.

    Implicit Arguments: Event Modification or Option Type Categories?, in: Amsterdam Colloquium on Logic, Language and Meaning, M. Aloni, V. Kimmelman, F. Roelofsen, G. W. Sassoon, K. Schulz, M. Westera (editors), Lecture Notes in Computer Science, Springer, Amsterdam, Pays-Bas, 2012, vol. 7218, p. 240-250. [ DOI : 10.1007/978-3-642-31482-7_25 ]

    http://hal.inria.fr/hal-00763102

Books or Proceedings Editing

  • 19P. de Groote, M.-J. Nederhof (editors)

    Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers, Springer, 2012, vol. 7395, 307 p. [ DOI : 10.1007/978-3-642-32024-8 ]

    http://hal.inria.fr/hal-00763203
References in notes
  • 20N. Asher, A. Lascarides.

    Logics of conversation, Cambridge University Press, 2003.
  • 21Y. Bar-Hillel.

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

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

    Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
  • 24N. Chomsky.

    Three models for the description of language, in: Information Theory, IRE Transactions on, 1956, vol. 2, no 3, p. 113–124.
  • 25A. Church.

    A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, no 2, p. 56–68.
  • 26M. Felleisen, D. P. Friedman, E. Kohlbecker, B. Duba.

    A syntactic theory of sequential control, in: Theor. Comput. Sci., June 1987, vol. 52, p. 205–237.

    http://dx.doi.org/10.1016/0304-3975(87)90109-5
  • 27M. Felleisen, R. Hieb.

    The revised report on the syntactic theories of sequential control and state, in: Theoretical Computer Science, 1992, vol. 103, no 2, p. 235 - 271. [ DOI : 10.1016/0304-3975(92)90014-7 ]

    http://www.sciencedirect.com/science/article/pii/0304397592900147
  • 28D. 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
  • 29J. Groenendijk, M. Stokhof.

    Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, no 1, p. 39–100.
  • 30B. Guillaume, G. Perrier.

    Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, p. 171–208.
  • 31H. 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.
  • 32M. Kanazawa, S. Salvati.

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

    The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, no 3, p. 154–170.
  • 34R. Montague.

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

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

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

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

    Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
  • 39G. 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, p. 463-467.

    http://hal.inria.fr/inria-00184108/en/
  • 40S. 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.
  • 41C. 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, p. 185–200.

    http://hal.inria.fr/inria-00409557/en/
  • 42J. 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, p. 10–16.
  • 43C.-C. Shan.

    Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
  • 44C. Strachey, C. P. Wadsworth.

    Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, p. 135–152.
  • 45P. de Groote.

    Towards abstract categorial grammars, in: Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, Association for Computational Linguistics, 2001, p. 252–259.
  • 46P. 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, p. 145–150.
  • 47P. de Groote.

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

    A note on intensionalization, submitted.

    http://semanticsarchive.net/Archive/WMyNTA2N/intensionalization.pdf
  • 49P. de Groote, S. Pogodalla.

    m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
  • 50P. 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, p. 421–438.
  • 51J. van Benthem.

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