Department Computer Science, Katholieke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, Belgium;
Department Computer Science, Katholieke Universiteit Leuven Celestijnenlaan 200A, B-3001 Heverlee, Belgium;
机译:将非基础逻辑程序嵌入到用于知识组合的自流行逻辑中
机译:具有逻辑编程和知识库技术的VLSI逻辑设计
机译:基于模糊逻辑的集成光伏和储能系统的商业建筑能源管理策略
机译:构建知识库系统,集成逻辑编程和古典逻辑
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:基于模糊逻辑2型的室内视觉障碍者无线室内定位系统
机译:构建用于逻辑编程和经典逻辑集成的知识库系统