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

Jianhua Chen

Browse the full ISMIS paper archive.