退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:默认推理的模态逻辑
Marek, W.; Truszczynski, M.;
Logic; Reasoning; Artificial intelligence; Reprints;
机译:模态默认推理的模态逻辑
机译:主观默认推理的模态逻辑
机译:在默认逻辑中使用默认设置进行推理
机译:默认逻辑作为一般的非单调推理范例。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:时态推理和默认逻辑
机译:用于支持与关系数据库的多模态数据的归纳推理查询的方法和系统
机译:用于支持来自关系数据库的多模态数据的归纳推理的方法和系统
机译:在关系数据库中支持多模态数据的推理推理的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。