首页 /研究 /Automated Abduction in Scientific Discovery
OTHER

Automated Abduction in Scientific Discovery

Oliver Ray

发表年份
2007
引用次数
14

关键词

Abductive reasoningComputer scienceChainingNon-monotonic logicArtificial intelligenceLogic programmingDeductive reasoningPoint (geometry)Forward chainingAutomated reasoning

相关论文

查看 OTHER 分类全部论文