Concordia University (Canada).;
机译:最小模型生成,用于析取演绎数据库中广义查询的精确回答
机译:通用生产规则作为集成活动数据库和演绎数据库的基础
机译:扩展约束演绎数据库:理论与实现
机译:P2P演绎数据库中的广义最大一致答案
机译:演绎数据库和逻辑程序中的不确定性推理
机译:晚期姑息家庭护理护理中共创过程的理论:随着时间的流逝而定性的演绎方法
机译:参数演绎数据库中的不确定性和部分非均匀假设
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行