A base logic for default reasoning

机标关键词：default reasoning、formal semantics、basic features、conceptual、Based、benchmark、function、analysis、set、study、paper、depth、close

所属期刊栏目：1

分类号：TP3;TH1

资助基金：The authors are grateful to the Scholar Research Center for sponsoring a symposium for this research project.This research was supported by the MOE Project of Humanities and Social Sciences 01JB720003

在线出版日期：2008-09-17（万方平台首次上网日期，不代表论文的发表时间）

页码：688-709