Nombre de documents

3

CV de Chatzikyriakidis Stergios


Communication dans un congrès3 documents

  • Stergios Chatzikyriakidis. Natural Language Reasoning using Coq: Interaction and Automation . Traitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France. <hal-01216604>
  • Stergios Chatzikyriakidis, Zhaohui Luo. Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories. ACL anthology, Jul 2015, Chicago, France. 2015, <10.3115/v1/W15-2304>. <hal-01216596>
  • Stergios Chatzikyriakidis, Mathieu Lafourcade, Lionel Ramadier, Manel Zarrouk. Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. ESSLLI: European Summer School in Logic, Language and Information, Aug 2015, Barcelona, Spain. 2015. <hal-01216589>