State University of New York at Stony Brook.;
机译:森林逻辑程序和f-混合知识库的推理
机译:从基于知识的程序到基于信念的分级程序,第一部分:在线推理* sup>
机译:将非基础逻辑程序嵌入到用于知识组合的自流行逻辑中
机译:从基于知识的计划到基于渐进的信念,第II部分:离线推理
机译:简单描述逻辑知识库中的保密保护推理
机译:我们如何评估基于能力的计划中的患者技能?使用西班牙语版本的脱垂和失禁知识问卷和骨盆楼盘妇女的实际实际案例评估患者能力的评估
机译:推理森林逻辑程序和f-混合知识库
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计