基于逻辑的数据模型中非递归规则的求值
-
1朱晓冬,彭大威.基于逻辑的数据模型中非递归规则的求值[J].吉林工业大学学报,1997,27(4):70-74.
-
2蒋川群.知识库系统的可终止性与正确性问题[J].上海第二工业大学学报,1989,6(2):63-66.
-
3陈晓东,陶世群.利用视图技术实现非递归规则的表示与推理[J].计算机工程,2002,28(3):96-98. 被引量:4
-
4姜乃福.人工智能技术在本钢能源生产经营决策知识系统中的应用[J].微计算机信息,1997,13(2):55-57. 被引量:2
-
5霍纬纲,肖元枝.一种求解递归规则的有效算法[J].中国民航学院学报,2005,23(2):22-26.
-
6袁军,陈栋,王能斌.线性递归规则的并行计算方法[J].计算机研究与发展,1996,33(8):608-613. 被引量:1
-
7陶世群.一个线性递归查询算法的设计与实现[J].计算机工程与设计,2004,25(12):2301-2304.
-
8汪芳,Stephane GRUMBACH.容错的网络声明式程序[J].软件学报,2012,23(8):1992-2001.
-
9袁军,陈栋,王能斌.广义左、右线性递归规则组改写[J].计算机学报,1996,19(1):36-42.
-
10蔡菁,吴东峥.基于逻辑的数据模型Datalog的递归应用[J].武汉理工大学学报(交通科学与工程版),2002,26(2):253-256.
;