• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2022 (2)
    • 2017 (1)
  • 
    Medium:
    
    • Online (3)
  • 
    Type
  • 
    BLLDB-Access:
    • free (3)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 3 of 3 1 New Version of a Translater for a Natural Language Study Jakubiec-Jamet, Line In: https://hal.archives-ouvertes.fr/hal-03551680 ; 2022 (2022) Abstract: This paper presents a tool that is used in a natural language processing study. A first version of a translater has been developped yet but here is an amelioration of this program that translates Latex trees to Coq trees. This tool is included into a study devoted to the formalization and to the analysis of sentences in the Coq system. The analysis is based on a hierarchy of types (that represents an ontology) for type-checking the conceptual wellformedness of sentences. In this study, we investigated how to exploit the particular features of the Coq type system for natural language. The tool presented here is a part of this study and it is a translater that allows to generate automatically a Coq description from a tree described in a Latex file. Keyword: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] URL: https://hal.archives-ouvertes.fr/hal-03551680/document https://hal.archives-ouvertes.fr/hal-03551680/file/RR2020.pdf https://hal.archives-ouvertes.fr/hal-03551680 BASE Hide details 2 A Translater from Latex Trees to Coq Trees for a Natural Language Study Jakubiec-Jamet, Line In: https://hal.archives-ouvertes.fr/hal-03536652 ; 2022 (2022) BASE Show details 3 Natural Language Processing and Coq : a case-study Jakubiec-Jamet, Line In: WIL'2017 ; https://hal.archives-ouvertes.fr/hal-01792729 ; WIL'2017, Jun 2017, Reykjavik, Iceland (2017) BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 3 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0