共 50 条
- [1] The formalization of languages: NooJ's approach TRAITEMENT AUTOMATIQUE DES LANGUES, 2015, 56 (01): : 117 - 120
- [2] Formalizing the Ancient Greek Participle Inflection with NooJ FORMALIZING NATURAL LANGUAGES: APPLICATIONS TO NATURAL LANGUAGE PROCESSING AND DIGITAL HUMANITIES, NOOJ 2022, 2022, 1758 : 26 - 38
- [3] A Survey of Languages for Formalizing Mathematics INTELLIGENT COMPUTER MATHEMATICS, CICM 2020, 2020, 12236 : 138 - 156
- [4] A meta-model based approach for identifying and formalizing LMS instructional design languages PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON COLLABORATION TECHNOLOGIES AND SYSTEMS, 2015, : 159 - 166
- [5] NooJ for Artificial Intelligence: An Anthropic Approach FORMALISING NATURAL LANGUAGES: APPLICATIONS TO NATURAL LANGUAGE PROCESSING AND DIGITAL HUMANITIES, NOOJ 2020, 2021, 1389 : 173 - 184
- [6] Languages for formalizing, visualizing and verifying software architectures COMPUTER LANGUAGES, 2001, 27 (1-3): : 3 - 18
- [8] A Hybrid Approach to Parsing Natural Languages HUMAN LANGUAGE TECHNOLOGY: CHALLENGES FOR COMPUTER SCIENCE AND LINGUISTICS, 2016, 9561 : 136 - 145
- [10] A general framework for formalizing UML with formal languages PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 433 - 442