Team LeD

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Bibliography

Major publications by the team in recent years

[1]
C. Areces, P. Blackburn, M. Marx.
Repairing the interpolation Theorem in Quantified Modal Logic, in: Annals of Pure and Applied Logics, 2003, vol. 123, no 1–3, p. 287–299.
[2]
C. Areces, B. Ten Cate.
Hybrid Logics, in: Handbook of Modal Logic, P. Blackburn, F. Wolter, J. van Benthem (editors), Elsevier, 2006, chap. 14
http://hal.inria.fr/inria-00104513/en/.
[3]
P. Blackburn, J. Bos.
Representation and Inference for Natural Language: A First Course in Computational Semantics, CSLI Press, 2005
http://hal.inria.fr/inria-00001208/en/.
[4]
P. Blackburn, B. Ten Cate.
Pure Extensions, Proof Rules, and Hybrid Axiomatics, in: Studia Logica, 2006, vol. 84, p. 281-326
http://hal.inria.fr/inria-00119855/en/.
[5]
P. Blackburn, J. Van Benthem, F. Wolter.
Handbook of Modal Logic, Springer, 2006
http://hal.inria.fr/inria-00120237/en/.
[6]
C. Gardent, B. Guillaume, G. Perrier, I. Falk.
Extracting subcategorisation information from Maurice Gross' Grammar Lexicon, in: Archives of Control Sciences, 2005, vol. 15, no LI, p. 253-264.
[7]
C. Gardent, E. Kow.
Generating and selecting grammatical paraphrases, in: Proceedings of the 10th European Workshop on Natural Language Generation, Aberdeen, Scotland, 2005.
[8]
C. Gardent, H. Manuélian.
Création d'un corpus annoté pour le traitement des descriptions définies, in: Traitement Automatique des Langues, 2005, vol. 46, no 1.
[9]
C. Gardent, Y. Parmentier.
Large scale semantic construction for Tree Adjoining Grammar, in: Proceedings of Logical Aspects in Computational Linguistics, Bordeaux, France, 2005.

Publications of the year

Books and Monographs

[10]
P. Blackburn, J. Bos, K. Striegnitz.
Learn Prolog Now!, Texts in Computing, College Publications, 2006, vol. 7
http://hal.inria.fr/inria-00119862/en/.
[11]
P. Blackburn, J. Van Benthem, F. Wolter.
Handbook of Modal Logic, Springer, 2006
http://hal.inria.fr/inria-00120237/en/.

Doctoral dissertations and Habilitation theses

[12]
T. M. H. Nguyen.
Outils et ressources linguistiques pour l'alignement de textes multilingues français-vietnamiens, Ph. D. Thesis, Université Henri Poincaré - Nancy I, 2006
http://tel.archives-ouvertes.fr/tel-00105592/en/.

Articles in refereed journals and book chapters

[13]
A. Abeillé, O. Bonami, D. Godard, J. Tseng.
The syntax of French à and de : An HPSG analysis, in: Syntax and Semantics of Prepositions, Dordrecht, P. Saint-Dizier (editor), Springer, 2006, p. 147–162.
[14]
C. Areces, B. Ten Cate.
Hybrid Logics, in: Handbook of Modal Logic, F. W. P. Blackburn, J. van Benthem (editors), Elsevier, 2006, chap. 14
http://hal.inria.fr/inria-00104513/en/.
[15]
M. Baker, A. Bronner, J. Lehuen, M. Quignard.
Gestion de l'interaction et modèles de dialogues, in: Environnements informatiques et apprentissages humains, Paris, M. Grandbastien, J.-M. Labat (editors), Hermès Science Publications, 2006, chap. 5, p. 117–138.
[16]
P. Blackburn.
Arthur Prior and Hybrid Logic, in: Synthese, 2006, vol. 150, p. 329-372
http://hal.inria.fr/inria-00119854/en/.
[17]
P. Blackburn, B. Ten Cate.
Pure Extensions, Proof Rules, and Hybrid Axiomatics, in: Studia Logica, 2006, vol. 84, p. 281-326
http://hal.inria.fr/inria-00119855/en/.
[18]
P. Blackburn, J. Van Benthem.
Modal logic: a Semantic Perspective, in: Handbook of Modal Logic, P. Blackburn, J. van Benthem, F. Wolter (editors), Elsevier, 2006, chap. 1
http://hal.inria.fr/inria-00119856/en/.
[19]
P. Cesar, K. Baker, D. Bulterman, S. Cruz-Lara, L. Fernando Gomes Soares, A. Kaptein.
Present and Future of Software Graphics Architectures for IDTV, in: Interactive Digital Television: technologies and applications, G. Lekakos, K. Chorianopoulos (editors), IDEA Group, 2006
http://hal.inria.fr/inria-00105654/en/.
[20]
B. Gaiffe.
Références, in: Compréhension des langues et interaction, G. Sabah (editor), Traité IC2, Série Cognition et traitement de l'information, Lavoisier, 2006
http://hal.inria.fr/inria-00069441/en/.
[21]
M. Musiol, A. Trognon, D. Coulon, C. Bocéréan.
Structures de l'interaction verbale et rationalité argumentative chez l'adolescent polyhandicapé, in: Le Langage et l'Homme, 2006, vol. XXXXI, no 2.

Publications in Conferences and Workshops

[22]
M. Amoia, C. Gardent.
Adjective based inference, in: Proceedings of KRAQ'06: Knowledge and Reasoning for Answering Questions, Trento, Italy, 2006.
[23]
L. Benotti.
`Drink me': Handling Actions through Planning in a Text Game Adventure, in: Proceedings of the 11th ESSLLI Student Session, Málaga, Spain, J. Huitink, S. Katrenko (editors), 2006.
[24]
F. Blanqui, S. Coupet-Grimal, W. Delobel, S. Hinderer, A. Koprowski.
CoLoR: a Coq library on rewriting and termination, in: Eighth International Workshop on Termination - WST 2006, Seattle, Washington/USA, 2006
http://hal.inria.fr/inria-00084835/en/.
[25]
Y.-C. Chiao, O. Kraif, D. Laurent, T. M. H. Nguyen, N. Semmar, F. Stuck, J. Véronis, W. Zaghouani.
Evaluation of multilingual text alignment systems: the ARCADE II project, in: 5th international Conference on Language Resources and Evaluation - LREC'06, Genoa/Italy, 2006
http://hal.inria.fr/inria-00115670/en/.
[26]
S. Cruz-Lara, N. Bellalem, J. Ducret, I. Kramer.
Interactive Handling of Multilingual Content within Digital Media, in: 4th European Interactive TV Conference - EuroITV 2006 - Beyond Usability, Broadcast, and TV, Athens/Greece, 2006
http://hal.inria.fr/inria-00001119/en/.
[27]
S. Cruz-Lara, N. Bellalem, J. Ducret, I. Kramer.
Interactive Handling of Multilingual Content within Digital Media, in: EuroiTV 2006 Beyond Usability, Broadcast, and TV, Athens/Greece, 2006
http://hal.inria.fr/inria-00105650/en/.
[28]
S. Cruz-Lara, N. Bellalem, J. Ducret, I. Kramer.
Interoperability between translation memories and localization tools by using the MultiLingual Information Framework, in: European Association for Machine Translation - EAMT 2006, Oslo/Norway, 2006
http://hal.inria.fr/inria-00105651/en/.
[29]
S. Cruz-Lara, N. Bellalem, J. Ducret, I. Kramer.
Standardizing the management and the representation of multilingual data: the MultiLingual Information Framework, in: Third International Workshop on Language Resources for Translation Work, Research & Training, Genoa/Italy, 2006
http://hal.inria.fr/inria-00105653/en/.
[30]
A. Denis, G. Pitel, M. Quignard.
A model of grouping for plural and ordinal references, in: 18th European Summer School in Logic, Language and Information - ESSLLI 2006, Malaga/Spain, 2006
http://hal.inria.fr/inria-00110858/en/.
[31]
A. Denis, G. Pitel, M. Quignard.
Resolution of Referents Groupings in Practical Dialogues, in: 7th SIGDial Workshop on Discourse and Dialogue - SIGdial'06, Sydney/Australie, 2006
http://hal.inria.fr/inria-00112888/en/.
[32]
A. Denis, M. Quignard, G. Pitel.
A Deep-Parsing Approach to Natural Language Understanding in Dialogue System: Results of a Corpus-Based Evaluation, in: Proceedings of Language Resources and Evaluation Conference, Malaga/Spain, 2006
http://hal.inria.fr/inria-00112897/en/.
[33]
C. Gardent.
Intégration d'une dimension sémantique dans les grammaires d'arbres adjoints, in: Actes de Traitement Automatique des Langues Naturelles, Louvain, Belgique, 2006.
[34]
C. Gardent, B. Guillaume, G. Perrier, I. Falk.
Extraction d'information de sous-catégorisation à partir des tables du LADL, in: Traitement Automatique de la Langue Naturelle - TALN 2006, Leuven/Belgique, Actes de la 13ème conférence sur le Traitement Automatique de la Langue Naturelle, 2006
http://hal.inria.fr/inria-00103163/en/.
[35]
C. Gardent, E. Kow.
Three reasons to adopt TAG-based surface realisation, in: The Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), Sydney/Australia, 2006
http://hal.inria.fr/inria-00088784/en/.
[36]
C. Gardent, Y. Parmentier.
Coreference handling in XMG, in: International Conference on Computational Linguistics - COLING 2006, Sydney/Australie, 2006
http://hal.inria.fr/inria-00083546/en/.
[37]
D. Gorín.
Hybrid Layering, in: Proceedings of the 11th ESSLLI Student Session, Málaga, Spain, J. Huitink, S. Katrenko (editors), 2006.
[38]
E. Kow.
GenI: Natural language generation in Haskell, in: Proceedings of Haskell'06, Portland/USA, 2006
http://hal.inria.fr/inria-00088787/en/.
[39]
E. Kow, Y. Parmentier, C. Gardent.
SemTAG, the LORIA toolbox for TAG-based Parsing and Generation, in: The Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), Sydney, Australia, 2006
http://hal.inria.fr/inria-00083555/en/.
[40]
H. P. Le, T. M. H. Nguyen, L. Romary, A. Roussanaly.
A Lexicalized Tree-Adjoining Grammar for Vietnamese, in: International Conference on Language Resources and Evaluation - LREC 2006, Gène/Italie, 2006
http://hal.inria.fr/inria-00106159/en/.
[41]
J. Le Roux, B. Crabbé, Y. Parmentier.
A constraint driven metagrammar, in: The Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8), Sydney/Australie, 2006
http://hal.inria.fr/inria-00083550/en/.
[42]
C.-Y. Lu, J.-S. Hong, S. Cruz-Lara.
Emotion Detection in Textual Information by Semantic Role Labeling and Web Mining Techniques, in: Third Taiwanese-French Conference on Information Technology - TFIT 2006, Nancy/France, 2006
http://hal.inria.fr/inria-00105649/en/.
[43]
S. Mera.
Hybrid Logics with Concrete Domains, in: Proceedings of the 11th ESSLLI Student Session, Málaga, Spain, J. Huitink, S. Katrenko (editors), 2006.
[44]
Y. Parmentier, J. Le Roux, B. Crabbé.
XMG - An expressive formalism for describing tree-based grammars, in: 11th Conference of the European Chapter of the Association for Computational Linguistics (Demo Session) - EACL 2006, Trento/Italy, 2006
http://hal.inria.fr/inria-00001133/en/.
[45]
G. Pitel.
Scaling Construction Grammar up to Production Systems: the SCIM, in: Third International Workshop on Scalable Natural Language Understanding - ScaNaLU 2006, New-York/Etats-Unis, 2006
http://hal.inria.fr/inria-00114040/en/.
[46]
J. Tseng, A. Kupsc.
A cross-linguistic approach to Slavic past tense and conditional constructions, in: Proceedings of FDSL6, Potsdam, to appear, 2006.
[47]
J. Tseng.
English prepositional passives in HPSG, in: FG-2006: Proceedings of the 11th conference on Formal Grammar, Málaga, G. Jäger, P. Monachesi, G. Penn, S. Wintner (editors), 2006, p. 147–159.

Internal Reports

[48]
P. Bedaride.
Implication textuelle et logiques de description, Masters Thesis, LORIA, 2006
http://hal.inria.fr/inria-00119768/en/.
[49]
S. Cruz-Lara, S. Kumar Gupta, J. David Fernández García, L. Romary, P. Sébire, F. Prêteux, T. Zaharia, M. Preda, S.-M. Tran.
Handling multilingual content in digital media: A critical analysis, Rapport de recherche, LORIA, 2006
http://hal.inria.fr/inria-00001120/en/.

References in notes

[50]
A. Abeillé.
Une grammaire électronique du français, CNRS Editions, 2002.
[51]
C. Areces, D. Gorín.
Ordered Resolution with Selection for H(@), in: Proceedings of LPAR 2004, Montevideo, Uruguay, F. Baader, A. Voronkov (editors), LNCS, Springer, 2005, vol. 3452, p. 125-141.
[52]
C. Areces, J. Heguiabehere.
HyLoRes 1.0: Direct Resolution for Hybrid Logics, in: Proceedings of CADE-18, Copenhagen, Denmark, A. Voronkov (editor), July 2002, p. 156–160.
[53]
L. Balkan, K. Netter, D. Arnold, S. Meijer.
TSNLP — Test Suites for Natural Language Processing, in: Proceedings of Language Engineering Convention, Edinburgh, ELSNET, 1994, p. 17–22.
[54]
P. Blackburn, J. Bos.
Representation and Inference for Natural Language: A First Course in Computational Semantics, CSLI Press, Aug 2005.
[55]
B. Crabbé, D. Duchier.
Metagrammar Redux, in: Proc. of the International Workshop on Constraint Solving and Language Processing - CSLP 2004, Copenhagen, Norway, Sep 2004.
[56]
B. Crabbé, B. Gaiffe, A. Roussanaly.
Une plateforme de conception et d'exploitation de grammaire d'arbres adjoints lexicalisés, in: Traitement Automatique du Langage Naturel 2003 - TALN 2003, Batz-sur-Mer, France, Jun 2003.
[57]
B. Gaiffe, B. Crabbé, A. Roussanaly.
A New Metagrammar Compiler, in: Proc. of the 6th International Workshop on Tree Adjoining Grammars and Related Frameworks - TAG+6, Venice, Italy, May 2002
http://www.loria.fr/publications/2002/A02-R-495/A02-R-495.ps.
[58]
C. Gardent, B. Guillaume, G. Perrier, I. Falk.
Extracting a subcategorisation lexicon from Maurice Gross Grammar Lexicon, in: Archive of Control Sciences, 2005.
[59]
C. Gardent, B. Guillaume, G. Perrier, I. Falk.
Maurice Gross' Grammar Lexicon and Natural Language Processing, in: Proc. of the 2nd Language and Technology Conference - L&T'05, Poznan, Poland, Apr 2005.
[60]
C. Gardent, E. Jacquey.
Lexicalisation as a Description Logic Inference Task, in: Proceedings of ICOS'03 (Inference in Computational Semantics), Nancy, France, 2003.
[61]
C. Gardent, E. Kow.
Generating and selecting paraphrases, in: Proc. of the 10th European Workshop on Natural Language Generation - ENLG 05, Aberdeen, Scotland, Aug 2005, p. 191-196.
[62]
C. Gardent, H. Manuélian.
Création d'un corpus annoté pour le traitement des descriptions définies, in: Traitement automatique des langues, 2005, vol. 46, no 1.
[63]
C. Gardent, Y. Parmentier.
Large scale semantic construction for Tree Adjoining Grammars, in: Proc. of Logical Aspects of Computational Linguistics - LACL'05, Bordeaux, France, P. Blache, E. Stabler, J. Busquets, R. Moot (editors), Lecture Notes in Computer Science, Springer, Apr 2005, vol. 3492, p. 131-146.
[64]
M. Gross.
Lexicon-grammar: the representation of compound words, in: Proceedings of the 11th coference on Computational linguistics, Morristown, NJ, USA, Association for Computational Linguistics, 1986, p. 1–6.
[65]
H. Kamp, U. Reyle.
From Discourse to Logic, Kluwer, Dordrecht, 1993.
[66]
E. Kow.
Adapting polarised disambiguation to surface realisation, in: Proc. of the 17th European Summer School in Logic, Language and Information - ESSLLI'05, Edinburgh, United Kingdom, Aug 2005.
[67]
P. Lopez.
Analyse d'énoncés oraux pour le Dialogue Homme-Machine à l'aide de Grammaires Lexicalisées d'Arbres, Ph. D. Thesis, Université Henri Poincaré – Nancy 1, Nancy, France, 1999.
[68]
S. Salmon-Alt.
Référence et dialogue finalisé: de la linguistique à un modèle opérationnel, Ph. D. Thesis, Université H. Poincaré - Nancy 1, Nancy, France, May 2001.
[69]
D. Sustretov.
Hybrid Definability in Topological Spaces, ILLC Technical Report PP-2005-12, University of Amsterdam, 2005
http://www.illc.uva.nl/Publications/reportlist.php?Series=PP.
[70]
R. Thomason, M. Stone, D. DeVault.
Enlightened update: A computational architecture for presupposition and other pragmatic phenomena, in: Presupposition Accommodation, D. Byron, C. Roberts, S. Schwenter (editors), 2006.
[71]
M. Vardi.
On the Complexity of Epistemic Reasoning, in: Proceedings 4th IEEE Symposium on Logic in Computer Science, 1989, p. 243–252.
[72]
É. Villemonte de la Clergerie.
DyALog: a Tabular Logic Programming based environment for NLP, in: Proceedings of CSLP'05, Barcelona, 2005
ftp://ftp.inria.fr/INRIA/Projects/Atoll/Eric.Clergerie/CSLP05.pdf.

previous
next