机构

• 计算技术研究所 [23]
• 中国科学院大学 [4]
• 数学与系统科学研究院 [2]
• 金属研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [27]
• iSwitch采集 [4]

内容类型

• 期刊论文 [31]

发表日期

• 2025 [2]
• 2021 [1]
• 2020 [2]
• 2019 [2]
• 2016 [2]
• 2015 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共31条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择发表日期升序发表日期降序题名升序题名降序提交时间升序提交时间降序作者升序作者降序 A framework for Chinese event semantic constraint predicates and their generation using PEFT LLM and RAG 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2025, 页码: 26 作者:  Huang, Qiaojuan;  Wang, Shi;  He, Qing;  Cao, Cungen   |  收藏  |  浏览/下载：3/0  |  提交时间：2025/12/03 Event semantic analysis  Head-tail event semantic constraint predicates  Large language models  Parameter-efficient fine-tuning  Retrieval-augmented generation   A Linguistic Approach Towards Automatic Acquisition and Classification of Common Chinese Affective Events 期刊论文  OAI收割 ACM TRANSACTIONS ON ASIAN AND LOW-RESOURCE LANGUAGE INFORMATION PROCESSING, 2025, 卷号: 24, 期号: 5, 页码: 23 作者:  Wang, Ya;  Cao, Cungen;  Huang, Xin;  Hui, Ming;  Zheng, Wei   |  收藏  |  浏览/下载：2/0  |  提交时间：2025/12/03 Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 13 作者:  Cao, Cungen;  Hu, Lanxi;  Sui, Yuefei   |  收藏  |  浏览/下载：38/0  |  提交时间：2021/12/01 three-valued logic  multisequent  co-multisequent  monotonicity  Gentzen deduction system   HAPE: A programmable big knowledge graph platform 期刊论文  OAI收割 INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103 作者:  Lu, Ruqian;  Fei, Chaoqun;  Wang, Chuanqing;  Gao, Shunfeng;  Qiu, Han   |  收藏  |  浏览/下载：46/0  |  提交时间：2020/05/24 Big knowledge  Big knowledge system  Big knowledge graph  Knowledge graph browser  Knowledge graph operating system  Knowledge scripting language  Big knowledge security   HAPE: A programmable big knowledge graph platform 期刊论文  OAI收割 INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103 作者:  Lu, Ruqian;  Fei, Chaoqun;  Wang, Chuanqing;  Gao, Shunfeng;  Qiu, Han   |  收藏  |  浏览/下载：45/0  |  提交时间：2020/12/10 Big knowledge  Big knowledge system  Big knowledge graph  Knowledge graph browser  Knowledge graph operating system  Knowledge scripting language  Big knowledge security   Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文  OAI收割 JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144 作者:  Cao, Cungen;  Zhang, Songmao;  Gu, Zhenzhen   |  收藏  |  浏览/下载：66/0  |  提交时间：2019/08/16 DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer   Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文  OAI收割 JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144 作者:  Gu, Zhenzhen;  Zhang, Songmao;  Cao, Cungen   |  收藏  |  浏览/下载：62/0  |  提交时间：2020/01/10 DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer   A Seed-Based Method for Generating Chinese Confusion Sets 期刊论文  OAI收割 ACM TRANSACTIONS ON ASIAN AND LOW-RESOURCE LANGUAGE INFORMATION PROCESSING, 2016, 卷号: 16, 期号: 1, 页码: 16 作者:  Liu, Liangliang;  Cao, Cungen   |  收藏  |  浏览/下载：52/0  |  提交时间：2019/12/12 Confusion set  pattern matching  context probability  pinyin similarity  shape similarity   The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725 作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue   |  收藏  |  浏览/下载：41/0  |  提交时间：2019/12/13 Hoare logic  recursive function  computable function  nonstandard model of Peano arithmetic   The B-4-valued propositional Belnap-Dunn logic 期刊论文  OAI收割 JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713 作者:  Cao Cungen;  Chen Bo;  Sul Yuefei   |  收藏  |  浏览/下载：53/0  |  提交时间：2019/12/13 The Belnap-Dunn logic  unary connective  the soundness  the completeness