Department of Computer Science, Katholieke Universiteit Leuven, Belgium;
Department of Computer Science, Katholieke Universiteit Leuven, Belgium;
机译:FO(FD):使用基于规则的定点定义扩展经典逻辑
机译:抽象希尔伯特演绎系统,信息逻辑和数据记录
机译:资源有限的推理:表示为标记演绎系统的主动逻辑
机译:基于最小固定点逻辑的FO(ID)的演绎系统
机译:完整的概率逻辑演绎系统,应用于Harsanyi型空间。
机译:初级保健的基于结果的逻辑模型:基于人口的信息系统的概念基础
机译:基于最小定点逻辑的FO(ID)演绎系统?
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行