首页> 外文OA文献 >A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming

【2h】

A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming

机译：逻辑程序设计中形式推理的形式定义与完善

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stefania Costantini; Gaetano Aurelio Lanzarone;
展开▼
作者单位

展开▼
年度 100
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic [J] . Zaiyue Zhang, Yuefei Sui, Cungen Cao, Theoretical computer science . 2006,第1a2期

机译：基于命题模态逻辑的形式化模糊推理系统和推理机制
2. A visualization of reasoning procedures for a logic program and its implementation [J] . Satoshi Yoshida, Mariko Sasakura 電子情報通信学会技術研究報告. 人工知能と知識処理. Artificial Intelligence and Knowledge Based Processing . 2002,第709期

机译：逻辑程序的推理过程的可视化及其实现
3. A visualization of reasoning procedures for a logic program and its implementation [J] . Satoshi Yoshida, Mariko Sasakura 電子情報通信学会技術研究報告. 人工知能と知識処理. Artificial Intelligence and Knowledge Based Processing . 2002,第709期

机译：逻辑计划的推理程序可视化及其实现
4. Combining Answer Set Programming with Description Logics for Analogical Reasoning Under an Agent's Preferences [C] . Teeradaj Racharak, Satoshi Tojo, Nguyen Duy Hung, International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems . 2017

机译：在座席首选项下将答案集编程与描述逻辑相结合以进行类比推理
5. Reasoning about logic programs using definitions and induction. [D] . Wajs, Jeremie. 2002

机译：使用定义和归纳法推理逻辑程序。
6. Automated Software Acceleration in Programmable Logic for an Efficient NFFT Algorithm Implementation: A Case Study [O] . Manuel Rodríguez, Eduardo Magdaleno, Fernando Pérez, 2017

机译：高效实现NFFT算法的可编程逻辑中的自动化软件加速：一个案例研究
7. A Foundation of Analogical Reasoning : Analogical Union of Logic Programs [O] . Haraguchi Makoto, Akikawa Setsuo 1986

机译：类比推理的基础：逻辑程序的类比联合
8. Microwave Landing System (MLS) Development Plan as Proposed by Hazeltine Corporation during the Technique Analysis and Contract Definition Phase of the National MLS Developmental Program. Volume III. Data Formal Analog Computer Studies. [R] . 1974

机译：在国家mLs发展计划的技术分析和合同定义阶段，Hazeltine公司提出的微波着陆系统（mLs）发展计划。第三卷。数据正式模拟计算机研究。

A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming

著录项

引文网络

相似文献

相关主题

期刊订阅