%0 Journal Article %T 缺度推理的逻辑框架 %A Poole %A D 付志明 %J 计算机科学 %D 1991 %I %K 缺席推理 %K 逻辑框架 %K 人工智能 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=15BCD05EE75FF694E548887AAFBA93D7&yid=116CB34717B0B183&vid=13553B2D12F347E8&iid=38B194292C032A66&sid=11B4E5CC8CDD3201&eid=8BD23BD67BF01A5C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0