张浩迪;林方珍 描述因果行为理论及其在答案集编程中的实现。 (英语) 兹比尔1420.68201 工件。智力。 248, 1-8 (2017).MSC公司:68T27型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{F.Lin},Artif。智力。248,1--8(2017;Zbl 1420.68201) 全文: DOI程序
林方珍 一阶逻辑中程序的形式化,具有离散线性顺序。 (英语) Zbl 1352.68065号 工件。智力。 235, 1-25 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin},Artif。智力。235,1--25(2016;Zbl 1352.68065) 全文: DOI程序
弗农·亚松森;林方珍;张燕;周毅 有限结构上一阶逻辑程序的有序完成。 (英语) Zbl 1244.68072号 工件。智力。 177-179, 1-24 (2012).MSC公司:68T27型 第68页第17页 68立方英尺 03B10号机组 03立方厘米13 PDF格式BibTeX公司 XML格式引用 \textit{V.Asuncion}等人,Artif。智力。177-179,1--24(2012;Zbl 1244.68072) 全文: DOI程序
唐平忠;林方珍 博弈论中的发现定理:具有唯一纯纳什均衡收益的两人博弈。 (英语) Zbl 1238.91011号 工件。智力。 175,第14-15号,2010-2020(2011).MSC公司:91A05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Tang}和\textit{F.Lin},Artif。智力。175,No.14--15,2010-2020(2011;Zbl 1238.91011) 全文: DOI程序
陈,尹;林方珍;张燕;周毅 循环可分程序及其一阶可定义性。 (英语) Zbl 1223.68027号 工件。智力。 175,第3-4号,890-913(2011).MSC公司:第68页第17页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,Artif。智力。175,编号3--4,890--913(2011;Zbl 1223.68027) 全文: DOI程序
林方珍;周毅 从答案集逻辑编程到通过GK逻辑的限定。 (英语) Zbl 1216.68270号 工件。智力。 175,第1期,264-277(2011).MSC公司:68T27型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{Y.Zhou},Artif。智力。175,第1号,264--277(2011;Zbl 1216.68270) 全文: DOI程序
唐平忠;约夫·肖姆;林方珍 设计个人团队之间的比赛。 (英语) Zbl 1194.91054号 工件。智力。 174,第11号,749-766(2010).MSC公司:91A40型 91B14号机组 91B44型 PDF格式BibTeX公司 XML格式引用 \textit{P.Tang}等人,Artif。智力。174,第11号,749--766(2010;Zbl 1194.91054) 全文: DOI程序
唐平忠;林方珍 阿罗定理和其他不可能性定理的计算机辅助证明。 (英语) Zbl 1187.91061号 工件。智力。 173,第11期,1041-1053(2009).MSC公司:91B14号机组 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Tang}和\textit{F.Lin},Artif。智力。173,第11号,1041--1053(2009;Zbl 1187.91061) 全文: DOI程序
Lee,Joohyng先生;林方珍 用于限定的循环公式。 (英语) Zbl 1131.68105号 工件。智力。 170,第2期,160-185(2006).MSC公司:68T27型 68立方英尺 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{F.Lin},Artif。智力。170,编号2,160--185(2006;Zbl 1131.68105) 全文: DOI程序
林方珍;赵玉婷 ASSAT:由SAT解算器计算逻辑程序的答案集。 (英语) Zbl 1085.68544号 工件。智力。 157,编号1-2,115-137(2004).MSC公司:第68页第17页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{Y.Zhao},人工制品。智力。157,编号1--2,115-137(2004;Zbl 1085.68544) 全文: DOI程序
林方珍;你,嘉慧 逻辑编程中的诱拐:基于重写的新定义和诱拐过程。 (英语) Zbl 0999.68092号 工件。智力。 140,第1-2期,175-205(2002).MSC公司:2012年第68季度 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{J.-H.You},Artif。智力。140,编号1--2,175-205(2002;Zbl 0999.68092) 全文: DOI程序
林方珍 在最强的必要条件和最弱的充分条件下。 (英语) Zbl 0971.68127号 工件。智力。 128,编号1-2,143-159(2001).MSC公司:68时01分 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin},Artif。智力。128,编号1--2,143-159(2001;Zbl 0971.68127) 全文: DOI程序
林方珍 情境演算在形式化控制和战略信息中的应用:Prolog切割操作符。 (英语) Zbl 0910.68040号 工件。智力。 103,编号1-2,273-294(1998).MSC公司:第68页第17页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin},Artif。智力。103,编号1--2,273--294(1998;Zbl 0910.68040) 全文: DOI程序
林方珍;Hector J.列夫斯克。 机器人能做什么:机器人程序和有效的可实现性。 (英语) Zbl 0909.68176号 工件。智力。 101,编号1-2,201-226(1998).MSC公司:68层35 68单位99 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{H.J.Levesque},Artif。智力。101,编号1--2,201-226(1998;Zbl 0909.68176) 全文: DOI程序
林方珍;雷特尔 如何处理数据库。 (英语) Zbl 1017.68510号 工件。智力。 92,编号1-2,131-167(1997).MSC公司:第68页,共15页 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{R.Reiter},人工制品。智力。92,编号1--2,131-167(1997;Zbl 1017.68510) 全文: DOI程序
林方珍;约夫·肖姆 知识逻辑和合理假设。 (英语) Zbl 0763.68060号 工件。智力。 57,编号2-3,271-289(1992).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Lin}和\textit{Y.Shoham},Artif。智力。57,编号2--3,271--289(1992;Zbl 0763.68060) 全文: DOI程序