%0 Journal Article %T 逻辑程序中的否定问题与非单调逻辑 %A 陈荣 孙吉贵? %J 计算机科学 %D 1997 %K 逻辑程序否定问题非单调逻辑人工智能 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2760999&flag=1