首页> 外文OA文献 >Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

【2h】

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

机译：存在规则的限制追逐终止：分层方法和实验

代理获取

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

页面导航

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

著录项

作者
ARASH KARIMI; HENG ZHANG; JIA-HUAI YOU;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation [J] . ARASH KARIMI, HENG ZHANG, JIA-HUAI YOU Theory and Practice of Logic Programming . 2021,第1期

机译：存在规则的限制追逐终止：分层方法和实验
2. A Hierarchy of Resolution Systems with Restricted Substitution Rules [J] . 计算机技术与应用：英文 . 2012,第004期

机译：具有受限替代规则的解析系统层次结构
3. Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin [J] . Jean-François Baget, Laurent Garcia, Fabien Garreau, Annals of Mathematics and Artificial Intelligence . 2018,第1a3期

机译：在答案集编程中引入存在变量，并在存在规则中引入非单调性：同一枚硬币的两面
4. Restricted Chase Termination: A Hierarchical Approach and Experimentation [C] . Arash Karimi, Heng Zhang, Jia-Huai You International joint conference on rules and reasoning . 2018

机译：限制追逐终止：分层方法和实验
5. Learning hierarchical decomposition rules for planning: An inductive logic programming approach. [D] . Reddy, Chandrasekhara K. 1999

机译：学习计划的层次分解规则：归纳逻辑编程方法。
6. Neural Representations of Hierarchical Rule Sets: The Human Control System Represents Rules Irrespective of the Hierarchical Level to Which They Belong [O] . Doris Pischedda, Kai Görgen, John-Dylan Haynes, 2017

机译：分层规则集的神经表示：人工控制系统表示规则而与它们所属的分层级别无关
7. Checking Chase Termination over Ontologies of Existential Rules with Equality [O] . David Carral, Jacopo Urbani 2020

机译：在具有平等的存在规则本体上检查Chase终止
8. Another Proof for the Completeness of a Rule for the Fair Termination of Guarded Commands and Another Rule for Their Just Termination [R] . Lehmann, D. 1981

机译：公正终止被保护命令规则的完整性和公正终止的另一条规则的另一个证明

Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

著录项

引文网络

相似文献

相关主题

期刊订阅