A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief.

Jianhua Chen A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief. 67-75 1999 conf/ismis/1999 ISMIS db/conf/ismis/ismis99.html#Chen99 http://dx.doi.org/10.1007/BFb0095091