自相容缺省理论研究
出处
《西南师范大学学报（自然科学版）》
CAS
CSCD
北大核心
1998年第5期514-520,共7页
Journal of Southwest China Normal University(Natural Science Edition)
参考文献5
-
1张明义，Inf Comput，1996年，29卷，2期，73页
-
2Su Kaile，Sci China A，1995年，38卷，3期，81页
-
3Gottob G，Artif Intell，1994年，69卷，329页
-
4张明义，Sci China A，1993年，36卷，10期，1273页
-
5张明义，Proc of Canadian Artificial Intelligence Conference，1992年，134页
-
1傅丽,王国俊.人工智能中缺省逻辑的可表示性(英文)[J].工程数学学报,2006,23(5):886-890. 被引量：1
-
2张明义,.一般缺省理论的扩张[J].中国科学（A辑）,1993,23(3):323-328.
-
3董明楷,张明义.子句型自相容缺省理论的扩张[J].计算机研究与发展,2000,37(2):182-187. 被引量：2
-
4董明楷,张明义.子句型缺省理论的推理算法[J].计算机科学,2001,28(5):74-76.
-
5傅丽.正规统计缺省扩充的证明[J].陕西师范大学学报（自然科学版）,2005,33(4):15-20.
-
6Xi-ShunZhao.正则无析取缺省理论[J].Journal of Computer Science & Technology,2004,19(C00):18-18.
-
7张明义,张丹.分情形推理的缺省逻辑框架[J].中国科学（E辑）,1998,28(3):274-281. 被引量：1
;
