张世奇;杨芳凯;皮尤什·坎德瓦尔;彼得·斯通 使用带有抽象层次结构的动作语言（{\mathcal{BC}}）进行移动机器人规划。 （英语） Zbl 1467.68190号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 502-516 (2015).MSC公司：68T40型 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}等人，Lect。注释计算。科学。9345502-516（2015年；兹比尔1467.68190） 全文： 内政部
弗拉基米尔·利夫希茨;杨芳凯 功能完成。 （英语） Zbl 1400.68205号 J.应用。非类别。日志。 23，编号1-2121-130（2013）.MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}和\textit{F.Yang}，J.Appl。非类别。日志。23、编号1--2、121-130（2013；Zbl 1400.68205） 全文： 内政部
弗拉基米尔·利夫希茨;杨芳凯 劳埃德-托珀完井模型和一般稳定模型。 （英语） Zbl 1291.68105号 理论与实践。日志。程序。 13，编号4-5，503-515（2013）. 审核人：埃里克·马丁（悉尼） MSC公司：68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}和\textit{F.Yang}，理论与实践。日志。程序。13、编号4--5、503--515（2013；Zbl 1291.68105） 全文： 内政部 arXiv公司
弗拉基米尔·利夫希茨;卡尔·皮乔塔;杨芳凯 零值关系理论和非Herbrand稳定模型。 （英语） Zbl 1260.68064号 理论与实践。日志。程序。 12，编号4-5，565-582（2012）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}等人，《理论与实践》。日志。程序。12、编号4--5、565--582（2012；Zbl 1260.68064） 全文： 内政部 arXiv公司
保罗·费拉里斯;Lee，Joohyng先生;尤利娅·利勒;弗拉基米尔·利夫希茨;杨芳凯 用逻辑程序表示一阶因果理论。 （英语） Zbl 1247.68043号 理论与实践。日志。程序。 12，第3期，383-412（2012）.MSC公司：68N17号 03年10月 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人，《理论与实践》。日志。程序。12，第3号，383--412（2012；Zbl 1247.68043） 全文： 内政部
陈小平;金国强;杨芳凯 通过形式化复合动作来扩展动作语言\（\mathcal{C}+\）。 （英语） 兹比尔1357.68213 Erdem，Esra（编辑）等人，《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265134-148（2012）。MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，Lect。注释计算。科学。7265，134--148（2012；Zbl 1357.68213） 全文： 内政部