...
机译:Caspar:根据自然语言和一阶逻辑推理,走向IoT的决策代理人
Department of Mathematics and Computer Science University of Catania Viale Andrea Doria 6 95125 Catania Italy;
Department of Engineering University of Messina Contrada di Dio S. Agata 98166 Messina Italy;
Department of Mathematics and Computer Science University of Catania Viale Andrea Doria 6 95125 Catania Italy;
Internet of Things; Computational linguistic; Artificial Intelligence; First order logic; Cognitive architectures; Meta-reasoning;
机译:LAILA:一种用于在逻辑代理之间协调归纳推理的语言
机译:基于Web的自适应辅导:一种基于逻辑代理和动作推理的方法
机译:智能软件代理的基于逻辑的规范语言
机译:基于案例的推理方法将自然语言转换为一阶逻辑
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法:对医疗文本的自然语言访问
机译:基于逻辑代理语言的对话协议推理
机译:在自然语言处理中使用基于案例的推理