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

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