1 AlsLuet T.和L.Godo，1998年6月，F~ Uni-//阳离子度，~olLog/=P~m-，环a，~$o~C~'98，结合JIC~LP~8，曼彻斯特。 谷歌学者 
2 Apt，K.R.，1990，Lo~编程，Hand。 《理论计算机科学》，第10章，B卷，J.van Leeu~编辑，爱思唯尔科学，第495-574页。 谷歌学者 三。 鲍德温J.F.、T.P.马丁和B.W.皮尔斯沃思，1995，《人工智能中的FRIL-~tzzy和证据推理》，研究出版社。 谷歌学者 数字图书馆 
4 鲍德温J.F.，1987，证据支持逻辑编程 《集合与系统》，24，第1-26页。 谷歌学者 数字图书馆 5 Biacino L.和G.Gerla，1998年，《具有近似前提的逻辑》，《国际情报》。 SysL，13，n.1，第1-10页。 谷歌学者 6 Dubois D.、J.Lang和H.Prade，1991年，《走向可能性逻辑编程》，ICLP91会议录，巴黎。 谷歌学者 7 Dubois D.、J.Lang和H.Prade，1994年2月，《使用可能性逻辑的自动重新搜索：语义、信念修正和可变确定性权重》，IEEE知识与数据工程学报，第5卷，第1期，第64-71页。 谷歌学者 数字图书馆 8 Formato F.、G.Gerla和M.I.Sessa，1998年，《扩展统一》，提交给《信息学报》。 谷歌学者 9 《Log/c编程与软计算——人工智能系列中的不确定性理论》，1998年，英国研究出版社。 谷歌学者 数字图书馆 10 Virtanen H.，1994年4月，《模糊逻辑编程研究》，第九届欧洲控制论与系统会议论文集，奥地利，第249-256页。 谷歌学者
