Personnel
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
G. 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/
[2]
B. Guillaume, G. Perrier.
Dependency Parsing with Graph Rewriting, in: IWPT 2015, 14th International Conference on Parsing Technologies, Bilbao, Spain, 14th International Conference on Parsing Technologies - Proceedings of the Conference, 2015, pp. 30-39.
https://hal.inria.fr/hal-01188694
[3]
L. Kallmeyer, R. Osswald, S. Pogodalla.
Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic, in: Journal of Language Modelling, 2017, vol. 5, no 2. [ DOI : 10.15398/jlm.v5i2.147 ]
https://hal.inria.fr/hal-01417853
[4]
P. de Groote.
Towards abstract categorial grammars, in: Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France, Association for Computational Linguistics, July 2001, pp. 148-155, Colloque avec actes et comité de lecture. internationale.
http://hal.inria.fr/inria-00100529/en
[5]
P. 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
[6]
P. 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.
Publications of the year

Articles in International Peer-Reviewed Journals

[7]
L. Kallmeyer, R. Osswald, S. Pogodalla.
Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic, in: Journal of Language Modelling, 2017, vol. 5, no 2. [ DOI : 10.15398/jlm.v5i2.147 ]
https://hal.inria.fr/hal-01417853

Invited Conferences

[8]
M. Amblard.
A Formal Account of Disorders in Dialogues, in: CLASP seminar, Gothenburg, Sweden, November 2017, pp. 1-158.
https://hal.inria.fr/hal-01655817
[9]
M. Amblard.
Le discours des schizophrènes par la formalisation langagière, interpréter les troubles de la pensée par les troubles du langages, in: 2017 - Séminaire C2S, Reims, France, June 2017, pp. 1-109.
https://hal.inria.fr/hal-01655828
[10]
M. Boritchev.
On Politics and Argumentation, in: MALOTEC, Nancy, France, March 2017.
https://hal.archives-ouvertes.fr/hal-01666416

International Conferences with Proceedings

[11]
T. Bernard.
Factuality information as sets of probabilities, in: 24ème conférence sur le Traitement Automatique des Langues Naturelles, Orléans, France, articles courts, June 2017, vol. 2.
https://hal.inria.fr/hal-01560547
[12]
C. Beysson.
Determiners and dynamic generalised quantifiers, in: TALN 2017 - Traitement Automatique des Langues Naturelles, Orléans, France, H. Flamein, Y. Parmentier (editors), June 2017, pp. 81-93.
https://hal.archives-ouvertes.fr/hal-01651749
[13]
M. Candito, B. Guillaume, G. Perrier, D. Seddah.
Enhanced UD Dependencies with Neutralized Diathesis Alternation, in: Depling 2017 - Fourth International Conference on Dependency Linguistics, Pisa, Italy, September 2017.
https://hal.inria.fr/hal-01625466
[14]
K. Fort, B. Guillaume, N. Lefèbvre.
Who wants to play Zombie? A survey of the players on ZOMBILINGO, in: Games4NLP 2017 - Using Games and Gamification for Natural Language Processing, Valencia, Spain, Symposium Games4NLP, April 2017, 2 p.
https://hal.inria.fr/hal-01494043

National Conferences with Proceedings

[15]
K. Fort, B. Guillaume, N. Lefèbvre, L. Ramírez, M. Regnault, M. Collins, O. Gavrilova, T. Kristanti.
Towards (more) complex corpora annotation using a game with a purpose : the case of scientific language, in: Traitement Automatique des Langues Naturelles (TALN), Orléans, France, June 2017.
https://hal.archives-ouvertes.fr/hal-01583863
[16]
B. Guillaume, G. Perrier.
Réflexion sur l’annotation de corpus écrits du français en syntaxe et en sémantique, in: ACor4French – Les corpus annotés du français, Orléans, France, June 2017, pp. 1-8.
https://hal.inria.fr/hal-01651753

Conferences without Proceedings

[17]
C. Beysson, S. Blind, P. de Groote, B. Guillaume.
Generalized Quantifiers and Dynamicity — preliminary results —, in: QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Toulouse, France, July 2017, pp. 1-6.
https://hal.archives-ouvertes.fr/hal-01651668

Books or Proceedings Editing

[18]
M. Amblard, M. Musiol, M. Rebuschi, M.-H. Pierre, S. Jokulsson (editors)
(In)Coherence of discourse 4, Published by the authors, March 2017, pp. 1-19.
https://hal.inria.fr/hal-01655957
[19]
A. Foret, R. Muskens, S. Pogodalla (editors)
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017. Revised Selected Papers, Lecture Notes in Computer Science, Springer-Verlag Berlin Heidelberg, Toulouse, France, 2018, vol. 10686, forthcoming.
https://hal.inria.fr/hal-01651509
[20]
M. Kanazawa, P. de Groote, M. Sadrzadeh (editors)
MOL 2017, the 15th Meeting on the Mathematics of Language: Proceedings of the conference, Association for Computational Linguistics, London, United Kingdom, 2017.
https://hal.inria.fr/hal-01654605

Scientific Popularization

[21]
M. Amblard.
Regard sur « Le temps des algorithmes », in: Interstices, January 2017.
https://hal.inria.fr/hal-01466800
[22]
M. Amblard.
Modélisation sémantique de la langue, une mise en pratique, in: SIESTE 2017 - Séminaire d’Informatique pour les Etudiants, Scientifiques, et Tous ceux que l’informatique intéresse à l’ENS Lyon, Lyon, France, February 2017, pp. 1-77.
https://hal.inria.fr/hal-01655840
[23]
M. Boritchev.
Grande L3 deviendra mini-chercheuse, in: Séminaire SIESTE, Lyon, France, February 2017.
https://hal.archives-ouvertes.fr/hal-01666417

Other Publications

[24]
H. Leung, C. Y. Li, J. Li, K. Li, N. Ljubešić, O. Loginova, O. Lyashevskaya, T. Lynn, V. Macketanz, A. Makazhanov, M. Mandl, C. Manning, C. Mărănduc, D. Mareček, K. Marheinecke, H. Martínez Alonso, A. Martins, J. Mašek, Y. Matsumoto, R. McDonald, G. Mendonça, N. Miekka, A. Missilä, C. Mititelu, Y. Miyao, S. Montemagni, A. More, L. Moreno Romero, S. Mori, B. Moskalevskyi, K. Muischnek, K. Müürisep, P. Nainwani, A. Nedoluzhko, G. Nešpore‐Bērzkalne, L. Nguyễn Thị, H. Nguyễn Thị Minh, V. Nikolaev, H. Nurmi, S. Ojala, P. Osenova, R. Östling, L. Øvrelid, E. Pascual, M. Passarotti, C. Perez, G. Perrier, S. Petrov, J. Piitulainen, E. Pitler, B. Plank, M. Popel, L. Pretkalniņa, P. Prokopidis, T. Puolakainen, S. Pyysalo, A. Rademaker, L. Ramasamy, T. Rama, V. Ravishankar, L. Real, S. Reddy, G. Rehm, L. Rinaldi, L. Rituma, M. Romanenko, R. Rosa, D. Rovati, B. Sagot, S. Saleh, T. Samardžić, M. Sanguinetti, B. Saulīte, S. Schuster, D. Seddah, W. Seeker, M. Seraji, M. Shen, A. Shimada, D. Sichinava, N. Silveira, M. Simi, R. Simionescu, K. Simkó, M. Šimková, K. Simov, A. Smith, A. Stella, M. Straka, J. Strnadová, A. Suhr, U. Sulubacak, Z. Szántó, D. Taji, T. Tanaka, T. Trosterud, A. Trukhina, R. Tsarfaty, F. Tyers, S. Uematsu, Z. Urešová, L. Uria, H. Uszkoreit, S. Vajjala, D. v. Niekerk, G. v. Noord, V. Varga, E. Villemonte de La Clergerie, V. Vincze, L. Wallin, J. N. Washington, M. Wirén, T. Wong, Z. Yu, Z. Žabokrtský, A. Zeldes, D. Zeman, H. Zhu, J. Nivre, Ž. Agić, L. Ahrenberg, L. Antonsen, M. J. Aranzabe, M. Asahara, L. Ateyah, M. Attia, A. Atutxa, L. Augustinus, E. Badmaeva, M. Ballesteros, E. Banerjee, S. Bank, V. Barbu Mititelu, J. Bauer, K. Bengoetxea, R. A. Bhat, E. Bick, V. Bobicev, C. Börstell, C. Bosco, G. Bouma, S. Bowman, A. Burchardt, M. Candito, G. Caron, G. Cebiroğlu Eryiğit, G. G. A. Celano, S. Cetin, F. Chalub, J. Choi, S. Cinková, Ç. Çöltekin, M. Connor, E. Davidson, M. de Marneffe, V. de Paiva, A. Diaz de Ilarraza, P. Dirix, K. Dobrovoljc, T. Dozat, K. Droganova, P. Dwivedi, M. Eli, A. Elkahky, T. Erjavec, R. Farkas, H. Fernandez Alcalde, J. Foster, C. Freitas, K. Gajdošová, D. Galbraith, M. Garcia, M. Gärdenfors, K. Gerdes, 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, N. Habash, J. Hajič, J. Hajič jr., L. Hà Mỹ, K. Harris, D. Haug, B. Hladká, J. Hlaváčová, F. Hociung, P. Hohle, R. Ion, E. Irimia, T. Jelínek, A. Johannsen, F. Jørgensen, H. Kaşıkara, H. Kanayama, J. Kanerva, T. Kayadelen, V. Kettnerová, J. Kirchner, N. Kotsyba, S. Krek, V. Laippala, L. Lambertino, T. Lando, J. Lee, P. Lê Hồng, A. Lenci, S. Lertpradit.
Universal Dependencies 2.1, 2017, LINDAT/CLARIN digital library at the Institute of Formal and Applied Linguistics (ÚFAL), Faculty of Mathematics and Physics, Charles University - Corpus - Project code: 15-10472S; Project name: Morphologically and Syntactically Annotated Corpora of Many Languages.
https://hal.inria.fr/hal-01671887
[25]
S. Pogodalla.
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammar, December 2017, Accepted in Journal of Language Modelling.
https://hal.inria.fr/hal-01242154
[26]
S. Pogodalla.
Abstract Categorial Grammars as a Model of the Syntax-Semantics Interface for TAG, September 2017, Handout of the tutorial delivered at the FSMNLP 2017 & TAG+13 conference, Umeå, Sweden.
https://hal.inria.fr/hal-01583962
References in notes
[27]
P. Blackburn, J. V. Benthem, F. Wolter (editors)
Handbook of Modal Logic, Studies in Logic and Practical Reasoning, Elsevier, 2007, vol. 3.
[28]
T. 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
[29]
M. 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, pp. 91 - 115.
https://hal.inria.fr/hal-01188677
[30]
C. 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
[31]
Y. Bar-Hillel.
Out of the pragmatic wastebasket, in: Linguistic Inquiry, 1971, vol. 2, no 3, pp. 401–407.
[32]
C. Barker.
Continuations and the Nature of Quantification, in: Natural Language Semantics, 2002, vol. 10, no 3, pp. 211–242.
[33]
C. Barker.
Continuations in Natural Language, in: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), 2004.
[34]
L. 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.
[35]
N. Chomsky.
Three models for the description of language, in: Information Theory, IRE Transactions on, 1956, vol. 2, no 3, pp. 113–124.
[36]
A. Church.
A formulation of the simple theory of types, in: The journal of symbolic logic, 1940, vol. 5, no 2, pp. 56–68.
[37]
R. Cooper, D. Crouch, J. Van Eijck, C. Fox, J. Van Genabith, J. Jaspars, H. Kamp, D. Milward, M. Pinkal, M. Poesio, S. Pulman, T. Briscoe, H. Maier, K. Konrad.
Using the framework, The FraCaS Consortium, 1996, no Technical Report LRE 62-051 D-16.
[38]
M. 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
[39]
M. 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.
http://dx.doi.org/10.1016/0304-3975(92)90014-7
[40]
C. J. Fillmore.
Frame Semantics, in: Linguistics in the Morning Calm, Seoul, T. L. S. of Korea (editor), Hanshin Publishing Co., 1982, pp. 111–137.
[41]
D. Gallin.
Intensional and higher-order modal logic: with applications to Montague semantics, North-Holland mathematics studies, North-Holland, 1975.
[42]
J. Groenendijk, M. Stokhof.
Dynamic predicate logic, in: Linguistics and philosophy, 1991, vol. 14, no 1, pp. 39–100.
[43]
J. Groenendijk, M. Stokhof.
Dynamic predicate logic, in: Linguistic & Philosophy, 1991, vol. 14, no 1, pp. 39–100.
[44]
B. 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
[45]
B. Guillaume, G. Perrier.
Interaction Grammars, in: Research on Language & Computation, 2009, vol. 7, pp. 171–208.
[46]
L. 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.
https://hal.inria.fr/hal-01151641
[47]
L. 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, CSSP, 2016, vol. 11.
https://hal.inria.fr/hal-01417847
[48]
H. 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.
[49]
M. Kanazawa, S. Salvati.
Generating Control Languages with Abstract Categorial Grammars, in: Proceedings of the 12th conference on Formal Grammar, 2007.
[50]
J. Lambek.
The mathematics of sentence structure, in: The American Mathematical Monthly, 1958, vol. 65, no 3, pp. 154–170.
[51]
S. 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.
[52]
S. 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.
http://dx.doi.org/10.1007/978-3-319-01541-5_2
[53]
R. Montague.
English as a formal language, in: Linguaggi nella societae nella tecnica, 1970, pp. 189–224.
[54]
R. Montague.
Universal grammar, in: Theoria, 1970, vol. 36, no 3, pp. 373–398.
[55]
R. Montague.
The Proper Treatment of Quantification in Ordinary English, in: Formal Semantics, 1973, pp. 221–242.
[56]
M. Moortgat.
Categorial type logics, in: Handbook of logic and language, 1997, pp. 93–177.
[57]
C. Morris.
Foundations of the Theory of Signs, University of Chicago Press, 1938, vol. 1.
[58]
J. Nivre, Ž. Agić, L. Ahrenberg, M. J. Aranzabe, M. Asahara, A. Atutxa, M. Ballesteros, J. Bauer, K. Bengoetxea, R. A. Bhat, E. Bick, C. Bosco, G. Bouma, S. Bowman, M. Candito, G. Cebiroğlu Eryiğit, G. G. A. Celano, F. Chalub, J. Choi, Ç. Çöltekin, M. Connor, E. Davidson, M.-C. de Marneffe, V. de Paiva, 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, 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, N. Habash, J. Hajič, L. Hà Mỹ, D. Haug, B. Hladká, P. Hohle, R. Ion, E. Irimia, A. Johannsen, F. Jørgensen, H. Kaşıkara, H. Kanayama, J. Kanerva, N. Kotsyba, S. Krek, V. Laippala, 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, A. More, S. Mori, B. Moskalevskyi, K. Muischnek, N. Mustafina, K. Müürisep, L. Nguyễn Thị, H. Nguyễn Thị Minh, V. Nikolaev, H. Nurmi, S. Ojala, P. Osenova, L. Øvrelid, E. Pascual, M. Passarotti, C.-A. Perez, G. Perrier, 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, M. Sanguinetti, B. Saulīte, S. Schuster, D. Seddah, W. Seeker, M. Seraji, L. Shakurova, M. Shen, D. Sichinava, N. Silveira, M. Simi, R. Simionescu, K. Simkó, M. Šimková, K. Simov, A. Smith, A. Suhr, U. Sulubacak, Z. Szántó, D. Taji, T. Tanaka, R. Tsarfaty, F. Tyers, S. Uematsu, L. Uria, G. van Noord, V. Varga, V. Vincze, J. N. Washington, Z. Žabokrtský, A. Zeldes, D. Zeman, H. Zhu.
Universal Dependencies 2.0, 2017, LINDAT/CLARIN digital library at the Institute of Formal and Applied Linguistics (ÚFAL), Faculty of Mathematics and Physics, Charles University.
http://hdl.handle.net/11234/1-1983
[59]
G. 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/
[60]
S. 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
[61]
C. 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.
http://hal.inria.fr/inria-00409557/en/
[62]
J. 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.
[63]
C.-C. Shan.
Delimited continuations in natural language: quantification and polarity sensitivity, in: CoRR, 2004, vol. cs.CL/0404006.
[64]
C. Strachey, C. P. Wadsworth.
Continuations: A Mathematical Semantics for Handling Full Jumps, in: Higher-Order and Symbolic Computation, 1974, vol. 13, pp. 135–152.
[65]
P. 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.
[66]
P. de Groote, S. Pogodalla.
m-linear context-free rewriting systems as abstract categorial grammars, in: oceedings of Mathematics of Language - MOL-8, 2003.
[67]
J. van Benthem.
Essays in logical semantics, Reidel, 1986, no 29.