Publications

Publications HAL de pierre ludmann

2017

Conference papers

titre
The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations
auteur
Lasha Abzianidze, Johannes Bjerva, Kilian Evang, Hessel Haagsma, Rik van Noord, Pierre Ludmann, Duc-Duy Nguyen, Johan Bos
article
15th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2017, Valencia, Spain. pp.242 – 247
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01630960/file/eacl2017.pdf BibTex

2016

Conference papers

titre
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary
auteur
Franz Baader, Pierre Ludmann
article
30th International Workshop on Unification, Jun 2016, Porto, Portugal
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01630954/file/BaLu-UNIF2016.pdf BibTex

2015

Conference papers

titre
The Exact Unification Type of Commutative Theories
auteur
Franz Baader, Pierre Ludmann
article
29th International Workshop on Unification, Jun 2015, Warsaw, Poland
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01630956/file/BaLu-UNIF2015.pdf BibTex