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

  • 9M. Morey.

    Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés, Université de Lorraine, November 2011.

    http://hal.inria.fr/tel-00640561/en

Articles in International Peer-Reviewed Journal

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

International Conferences with Proceedings

  • 11M. Amblard.

    Encoding Phases using Commutativity and Non-commutativity in a Logical Framework, in: 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Montpellier, France, S. Pogodalla, J.-P. Prost (editors), Lecture Notes in Artificial Intelligence, Springer, June 2011, vol. 6736, p. 1–16, ISBN : 978-3-642-22220-7 The original publication is available at www.springerlink.com. [ DOI : 10.1007/978-3-642-22221-4_1 ]

    http://hal.inria.fr/hal-00601621/en
  • 12N. 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
  • 13G. Bonfante, B. Guillaume, M. Morey, G. Perrier.

    Enrichissement de structures en dépendances par réécriture de graphes, in: Traitement Automatique des Langues Naturelles (TALN), Montpellier, France, 2011.

    http://hal.inria.fr/inria-00579251/en
  • 14G. Bonfante, B. Guillaume, M. Morey, G. Perrier.

    Modular Graph Rewriting to Compute Semantics, in: 9th International Conference on Computational Semantics - IWCS 2011, Oxford, United Kingdom, J. Bos, S. Pulman (editors), January 2011, p. 65–74.

    http://hal.inria.fr/inria-00579244/en
  • 15V. Dufour-Lussier, B. Guillaume, G. Perrier.

    Parsing Coordination Extragrammatically, in: 5th Language & Technology Conference, Poznan, Poland, 2011.

    http://hal.inria.fr/hal-00639929/en
  • 16C. Gardent, Y. Parmentier, G. Perrier, S. Schmitz.

    Lexical Disambiguation in LTAG using Left Context, in: 5th Language & Technology Conference - LTC'11, Poznan, Poland, November 2011.

    http://hal.inria.fr/hal-00629902/en
  • 17S. Qian, M. Amblard.

    Event in Compositional Dynamic Semantics, in: 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Montpellier, France, S. Pogodalla, J.-P. Prost (editors), Lecture Notes in Artificial Intelligence, Springer, June 2011, vol. 6736, p. 219–234, ISBN : 978-3-642-22220-7 The original publication is available at www.springerlink.com. [ DOI : 10.1007/978-3-642-22221-4_15 ]

    http://hal.inria.fr/hal-00601620/en

National Conferences with Proceeding

  • 18M. Amblard, M. Musiol, M. Rebuschi.

    Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques, in: Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2011, Montpellier, France, M. Lafourcade, V. Prince (editors), Laboratoire d'Informatique de Robotique et de Microélectronique, June 2011, 6 p.

    http://hal.inria.fr/hal-00601622/en

Scientific Books (or Scientific Book chapters)

  • 19M. Amblard.

    Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages, in: Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, S. Pogodalla, M. Quatrini, C. Retoré (editors), Lecture Notes in Artificial Intelligence, springer, June 2011, p. 61–80, ISBN : 978-3-642-21489-9 The original publication is available at www.springerlink.com. [ DOI : 10.1007/978-3-642-21490-5_4 ]

    http://hal.inria.fr/hal-00617040/en
  • 20N. Asher, S. Pogodalla.

    SDRT and Continuation Semantics, in: New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers, T. Onada, D. Bekki, E. McCready (editors), LNCS, Springer, 2011, vol. 6797, p. 3–15. [ DOI : 10.1007/978-3-642-25655-4_2 ]

    http://hal.inria.fr/inria-00565744/en

Books or Proceedings Editing

  • 21S. Pogodalla, J.-P. Prost (editors)

    Logical Aspects of Computational Linguistics, 6th International Conference, LACL 2011, LNCS/LNAI, Springer, 2011, vol. 6736. [ DOI : 10.1007/978-3-642-22221-4 ]

    http://hal.inria.fr/inria-00607874/en
  • 22S. Pogodalla, M. Quatrini, C. Retoré (editors)

    Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, LNCS/LNAI, Springer, 2011, vol. 6700. [ DOI : 10.1007/978-3-642-21490-5 ]

    http://hal.inria.fr/inria-00607880/en
References in notes
  • 23Y. Bar-Hillel.

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

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

    Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
  • 26G. Bonfante, B. Guillaume, M. Morey, G. Perrier.

    Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique, in: Traitement Automatique des Langues Naturelles - TALN 2010, Montréal, Canada, July 2010.

    http://hal.inria.fr/inria-00526437/en/
  • 27M. Candito, B. Crabbé, P. Denis.

    Statistical French dependency parsing: treebank conversion and first results, in: Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC 2010), La Valletta, Malte, European Language Resources Association (ELRA), May 2010, p. 1840-1847.

    http://hal.archives-ouvertes.fr/hal-00495196/en/
  • 28I. Cervesato, F. Pfenning.

    A Linear Logical Framework, in: Information and Computation, 2002, vol. 179, no 1, p. 19–75.

    http://dx.doi.org/10.1006/inco.2001.2951
  • 29N. Chomsky.

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

    A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, no 2, p. 56–68.
  • 31M. 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
  • 32M. 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
  • 33D. 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
  • 34J. Groenendijk, M. Stokhof.

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

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

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

    The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, no 3, p. 154–170.
  • 39J. Le Roux, G. Perrier.

    La coordination dans les grammaires d'interaction, in: Traitement Automatique des Langues, 2006, vol. 47, no 3, p. 89–113.
  • 40S. Lindley.

    Extensional Rewriting with Sums., in: TLCA'07, LNCS, 2007, vol. 4583, p. 255–271.
  • 41R. Montague.

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

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

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

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

    Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
  • 46G. 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/
  • 47S. 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.
  • 48C. 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/
  • 49J. 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.
  • 50C.-C. Shan.

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

    Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, p. 135–152.
  • 52P. 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.
  • 53P. 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.
  • 54P. de Groote.

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

    m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
  • 56P. 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.
  • 57P. de Groote, S. Maarek.

    Type-theoretic extensions of Abstract Categorial Grammars, in: New Directions in Type-Theoretic Grammars, proceedings of the workshop, 2007, p. 18–30.

    http://let.uvt.nl/general/people/rmuskens/ndttg/ndttg2007.pdf
  • 58J. van Benthem.

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