...
knowledge representation; reasoning; logic programming; abduction; induction; probabilistic reasoning; answer set programming; inductive programming; probabilistic programming;
机译:推论和AI编程
机译:“素描编程”的提议作为素描编程的编程技能教育方法,对业务区域建模
机译:“素描编程”的提议作为素描编程的编程技能教育方法,对业务区域建模
机译:通过处理动态偏好的逻辑程序的解决方案集编程进行推理计算
机译:逻辑型与功能型集成编程系统的研究
机译:PT,OT和运动员和微型计算机电子关联(1)电子工程的编程使用编程和微计算机