SLDNFA: an abductive procedure for normal abductive programs

机译：SLDNFA：正常诱拐程序的诱拐程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

摘要

status: published

机译：状态：已发布

著录项

作者
Denecker Marc; De Schreye Danny;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. SLDNFA: An abductive procedure for abductive logic programs [J] . Denecker M., De Schreye D. The Journal of Logic Programming . 1998,第2期

机译：SLDNFA：用于归纳逻辑程序的归纳过程
2. The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments [J] . PAOLO MANCARELLA, GIACOMO TERRENI, FARIBA SADRI, Theory and Practice of Logic Programming . 2009,第6期

机译：具有约束条件的归纳逻辑编程的CIFF证明程序：理论，实现和实验
3. Abductive logic programming and disjunctive logic programming: their relationship and transferability [J] . Sakama C., Inoue K. The Journal of Logic Programming . 2000,第1a3期

机译：归纳逻辑编程和析取逻辑编程：它们的关系和可传递性
4. Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting [C] . Fangzhen Lin, Jia-Huai You International Joint Conference on Artificial Intelligence . 2007

机译：逻辑编程中的绑架：基于重写的新定义和绑架程序
5. Automating the Development of Metabolic Network Models Using Abductive Logic Programming [D] . Rozanski, Robert. 2017

机译：使用归纳逻辑编程自动化代谢网络模型的开发
6. Peroneus longus muscle exhibits pre-programmed anticipatory activity beforeunilateral abduction of the lower limb while standing: a pilot study [O] . Hidehito Tomita, Osamu Nojima, Takamasa Sasahara, 2019

机译：腓骨长肌在运动前表现出预先设定的预期活动站立时单侧下肢外展：一项初步研究
7. SLDNFA: An abductive procedure for abductive logic programs [O] . Denecker Marc, De Schreye Danny 1998

机译：SLDNFA：引发逻辑程序的引发过程

SLDNFA: an abductive procedure for normal abductive programs

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅