退出
我的积分:
中文文献批量获取
外文文献批量获取
刘炜; 徐文杰; 唐英英; 付剑锋; 张旭洁; 刘宗田;
上海大学计算机工程与科学学院 上海200072;
上海立信会计学院数学与信息学院 上海201620;
T-ALC; 逻辑程序; 事件动作; 动作推理; 不确定性推理;
机译:一系列用于表示和推理动作的动态描述逻辑
机译:事件中动作推理的时间描述逻辑
机译:用于表示和推理动作的动态描述逻辑
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:在描述逻辑,逻辑程序和描述逻辑程序中管理不确定性和模糊性
机译:基于假设的计划推理的事件,动作和计划的明确表示。
机译:基于推理概率推导具有动作触发的基于分层事件的数据库的系统和方法
机译:用于基于使用谐波带宽扩展和非谐波带宽扩展的组合基于输入信号表示生成带宽扩展信号的表示的装置,方法和计算机程序
机译:具有程序代码的装置,方法和介质,用于基于谐波带宽扩展和非谐波带宽扩展的结合而基于输入信号表示来生成带宽扩展信号的表示
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。