摘要
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或者 Bi-
This paper concentrates on the complexity of the decision problem which decides whether a literal belongs to at least one extension of a default theory 〈D,W〉 in which D is a set of Horn defaults and W is a definite Horn formula or a Bi Horn formula.
出处
《软件学报》
EI
CSCD
北大核心
2000年第7期881-888,共8页
Journal of Software
基金
This research is supported by the National Natural Science Foundation of China (国家自然科学基金
Nos.197710 45
199310 2 0
