@inproceedings{ro-2010-inferences,
    title = "Inf{\'e}rences aspecto-temporelles analys{\'e}es avec la Logique Combinatoire",
    author = "Ro, Hee-Jin",
    editor = "Patry, Alexandre  and
      Langlais, Philippe  and
      Max, Aur{\'e}lien",
    booktitle = "Actes de la 17e conf{\'e}rence sur le Traitement Automatique des Langues Naturelles. REncontres jeunes Chercheurs en Informatique pour le Traitement Automatique des Langues",
    month = jul,
    year = "2010",
    address = "Montr{\'e}al, Canada",
    publisher = "ATALA",
    url = "https://preview.aclanthology.org/landing_page/2010.jeptalnrecital-recital.9/",
    pages = "83--92",
    language = "fra",
    abstract = "Ce travail s{'}inscrit dans une recherche centr{\'e}e sur une approche de l{'}Intelligence Artificielle (IA) et de la linguistique computationnelle. Il permet d{'}int{\'e}grer diff{\'e}rentes techniques formelles de la Logique Combinatoire avec des types (Curry) et sa programmation fonctionnelle (Haskell) avec une th{\'e}orie {\'e}nonciative du temps et de l{'}aspect. Nous proposons des calculs formels de valeurs aspectotemporelles (processus inaccompli pr{\'e}sent, processus inaccompli pass{\'e}, {\'e}v{\'e}nement pass{\'e} et {\'e}tatr{\'e}sultant pr{\'e}sent) associ{\'e}es {\`a} des repr{\'e}sentations de significations verbales sous forme de sch{\`e}mes applicatifs."
}