共 50 条
- [41] Are natural languages necessary? CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 2002, 34 (101): : 27 - 41
- [42] ANOTHER APPROACH TO FORMALIZING THE POINT AND INTERVAL CALCULI INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1991, 34 (05): : 703 - 716
- [43] Formalizing belief reports - The approach and a case study ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 62 - 75
- [44] An additional approach to pre-trained code model with multilingual natural languages 2022 29TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC, 2022, : 580 - 581
- [45] Knowledge Extraction with NooJ Using a Syntactico-Semantic Approach for the Arabic Utterances Understanding COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, (CICLING 2016), PT II, 2018, 9624 : 552 - 564
- [47] SoK: A Minimalist Approach to Formalizing Analog Sensor Security 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, : 233 - 248
- [48] An Anti-Locally-Nameless Approach to Formalizing Quantifiers CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2021, : 300 - 312
- [50] Formalizing reasoning about change: A temporal diagnosis approach TOPICS IN ARTIFICIAL INTELLIGENCE, 1995, 992 : 335 - 346