2005.12.5-8：我中心成员周北海应邀参加德克萨斯州大学举办的非单调逻辑研究讨论会，在会上做了题为“ A formal characterization of default inference ”的报告。
a formal characterization of default inference.pdf