Internet; backward chaining; frame based representation; frame relay; telecommunication security; Internet; frame-based attack representation; intrusion detection system; network security; real-time first order logic automatic reasoning; security information manag;
机译:基于模糊逻辑推理的图像重复数据删除的自动质心图像选择方法
机译:基于描述逻辑的自动推理的KDD数据准备
机译:走向产品逻辑的概率论:状态,积分表示和推理
机译:基于帧的攻击表示和实时一阶逻辑自动推理
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过后向推理自动发现软件攻击
机译:逻辑在知识表征和常识推理中的作用。