退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN108875940A
专利类型发明专利
公开/公告日2018-11-23
原文格式PDF
申请/专利权人 西南交通大学;
申请/专利号CN201710334654.1
发明设计人 徐扬;陈树伟;刘军;何星星;钟小梅;
申请日2017-05-12
分类号
代理机构成都天嘉专利事务所(普通合伙);
代理人蒋斯琪
地址 610031 四川省成都市金牛区二环路北一段111号
入库时间 2023-06-19 07:20:09
法律状态公告日
法律状态信息
法律状态
2018-12-18
实质审查的生效 IPC(主分类):G06N5/04 申请日:20170512
实质审查的生效
2018-11-23
公开
机译: 基于规则的专家系统的并行推理方法和装置
机译: 重新格式化基于电子文本的文档中的逻辑复杂子句的计算机实现方法
机译: 基于半马尔可夫条件随机场模型的活动识别方法,特别是在半马尔可夫条件随机场模型中同时进行训练和演绎的方法
机译:基于格值命题逻辑LP(X)的α自动推理方法
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:子句演绎数据库和析取演绎数据库中的语义通用框架
机译:析取演绎数据库中的访问子句树
机译:夏洛克·福尔摩斯的演绎推理方法在医学诊断中的应用
机译:并行SAT解决中基于控制的子句共享
机译:用于基于规则的专家系统的并行推理方法和装置