A Literature Survey of Resolution in Temporal Logic Theorem Proving

摘要：

　　The Temporal logic is considered an important tool in the area of Artificial Intelligence and Computer Science,including for example the specification and verification of many different systems.One of themost important approach of verification 1s the theorem proving, which includes resolution, tableaux, etc.In this paper, we present a literature survey of the resolution method of theorem proving intemporal logics to analyse the pros and cons of the current methods of resolution.

关键词： Temporal logics Resolution,Theorem Proving

作者: ZHANG Lan

作者单位: Information School, Capital University of Economics and Business, Beijing 100070, China

会议类型: 国内会议

会议名称: 中国管理科学与工程学会2013年年会暨第十一届中国管理科学与工程论坛

会议地点: 北京

会议语种:英文

页码: 460-466

在线出版日期: 2013-11-02（万方平台首次上网日期，不代表论文的发表时间）