Department of Information Engineering, University of Brescia, Brescia, Italy;
Department of Information Engineering, University of Brescia, Brescia, Italy;
College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua, China;
Knowledge compilation; Complex system; Emergent behavior; Discrete-event system; Active system; Model-based diagnosis; Lazy techniques;
机译:将知识编译技术应用于基于模型的推理
机译:用于线性动力系统诊断的编译技术通用框架
机译:故障诊断和容错技术概述—第二部分:基于知识的混合/主动方法的故障诊断
机译:基于模型的复杂活性系统诊断知识编译技术
机译:MODS和/或TLA技术:主动性结核病诊断的系统评价和荟萃分析,及其成本效益和可行性评估。
机译:利用数据挖掘技术开发基于原型知识的糖尿病诊断和治疗系统
机译:基于模型的复杂活性系统诊断知识编译技术
机译:知识编译技术在基于模型推理中的应用