...
机译:资源有限的推理:表示为标记演绎系统的主动逻辑
active logic; labelled deductive systems; reasoning with limited resources;
机译:资源有限的推理:表示为标记演绎系统的主动逻辑
机译:代数过渡系统推理的一种演绎方法
机译:代数过渡系统推理的一种演绎方法
机译:使用逻辑标记的有限状态机对机器人系统中规则表达的行为属性进行运行时验证
机译:演绎数据库和逻辑程序中的不确定性推理
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:基于标记演绎系统的模态子结构逻辑证明搜索系统
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行