Yi Mao,2003,A Formalism for Nonmonotonic Reasoning Encoded Generics,dissertation,University of Texas at Austin.

 
  • 周北海;毛翊;一个关于常识推理的基础逻辑;哲学研究;2003年增刊;第1-10页.
今日热词
目录 附录 查词历史