期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
A new research on auto-compatible default theory
1
《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第5期20-26,共7页
On the basis of Reiter’s default theory and Zhang Mingyi’s auto compatible default theory, a research on the characters of clausal default theory, especially the closed auto compatible default theory, is carried out... On the basis of Reiter’s default theory and Zhang Mingyi’s auto compatible default theory, a research on the characters of clausal default theory, especially the closed auto compatible default theory, is carried out. First, the theorem of monotonicity with extension number is presented. Second, the proof theory of normal default theory on auto compatible default theory is extended. Some important results are proposed. 展开更多
关键词 default logic clausal default theory EXTENSION auto compatible
全文增补中
上一页 1 下一页 到第
使用帮助 返回顶部