中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共10条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文
JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144
作者:  Gu, Zhenzhen;  Zhang, Songmao;  Cao, Cungen
收藏  |  浏览/下载：84/0  |  提交时间：2019/08/16
DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer  
Empirical investigation of stochastic local search for maximum satisfiability 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 1, 页码: 86-98
作者:  Chu, Yi;  Luo, Chuan;  Cai, Shaowei;  You, Haihang
收藏  |  浏览/下载：61/0  |  提交时间：2019/04/03
empirical investigation  stochastic local search  maximum satisfiability  industrial instances  additive BMS  
A computational framework for Karl Popper's logic of scientific discovery 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/10
belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation  
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文
ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44
作者:  Luo, Chuan;  Cai, Shaowei;  Su, Kaile;  Huang, Wenxuan
收藏  |  浏览/下载：40/0  |  提交时间：2019/12/12
Local search  Weighted partial maximum satisfiability  Emphasis on hard clauses  
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
作者:  Cai, Shaowei;  Luo, Chuan;  Lin, Jinkun;  Su, Kaile
收藏  |  浏览/下载：47/0  |  提交时间：2019/12/13
Partial MaxSAT  Local search  Hard and soft score  Initialization  
Further study of the fuzzy reasoning based on propositional modal logic 期刊论文
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 162-169
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Ca, Cungen
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/16
propositional modal logic  fuzzy reasoning  formal system  educed set  
Formal verification techniques based on Boolean satisfiability problem 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 1, 页码: 38-47
作者:  Li, XW;  Li, GH;  Shao, M
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/16
equivalence checking  incremental satisfiability  minimal unsatisfiable formula  model checking  
Description of fuzzy first-order modal logic based on constant domain semantics 期刊论文
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PRT 1, PROCEEDINGS, 2005, 卷号: 3641, 页码: 642-650
作者:  Zhang, ZY;  Sui, YF;  Cao, CG
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16
modal logic  fuzzy reasoning system  rough set  
Fuzzy reasoning based on propositional modal logic 期刊论文
ROUGH SETS AND CURRENT TRENDS IN COMPUTING, 2004, 卷号: 3066, 页码: 109-115
作者:  Zhang, ZY;  Sui, YF;  Cao, C
收藏  |  浏览/下载：73/0  |  提交时间：2019/12/16
propositional modal logic  fuzzy assertion  fuzzy reasoning  
Polynomial algorithm of limited propositional deduction 期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1999, 卷号: 42, 期号: 4, 页码: 418-424
作者:  Shi, ZZ;  Liao, LJ
收藏  |  浏览/下载：70/0  |  提交时间：2019/12/16
limited propositional deduction  polynomial algorithm  problem of propositional satisfiability  constraint satisfaction problem