Controlled natural language; Attempto Controlled English; ACE; First-order reasoning; RACE;
机译:英语水平和科学推理能力对西班牙裔英语学习者和说英语的学生获得科学内容知识的影响
机译:按一阶自动化推理处理及物质关系
机译:知识和概率推理的一阶逻辑
机译:尝试控制英语的一阶推理
机译:具有大理论的一级推理的抽象精炼框架
机译:美国人=说英语的人在美国人=白人之前。儿童对国籍的推理的发展
机译:Attempto受控英语解决了知识表示,推理,互操作性和用户界面方面的挑战
机译:用于具有一阶扰动的一般一阶设备的离散时间扰动容纳控制器(DaC)的数字计算机实现