李小五编著2005 年出版550 页ISBN：7306025872
本书为高校教学用书。分别介绍了三种主要的人工智能逻辑：缺省逻辑、非单调模态逻辑和限定逻辑。
张清宇，郭世铭，李小五著2007 年出版435 页ISBN：7802303990
本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...
张小五等编著2008 年出版309 页ISBN：9787111245308
本书包括Office 2007中的各个知识点的理论与应用。
李小五编著2010 年出版367 页ISBN：9787306036032
本书通常的动态认知逻辑只研究智能主体对命题的认知，涉及活动与后果之间的关系，本书建立一系列逻辑，把认知对象推广到其他领域。
