冯建华 周立柱 胡久稔 陈火旺 王同琛

逻辑程序设计 争论推理 非单调推理 语义 封闭世界假设 明显否定 可接受假说 辩论推理 API函数 窗体 消息 Windows 演绎数据库 缺省逻辑 句柄 累加性 析取逻辑程序

南开数学研究所 清华大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 国防科学技术大学计算机学院