安德烈亚斯·布朗斯特罗姆;胡安·卡洛斯·尼维斯 情感软件规划的动作语言中的情感推理。 (英语) Zbl 07671882号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416103-116(2022)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brännström}和\textit{J.C.Nieves},莱克特。注释计算。科学。13416,103--116(2022;Zbl 07671882) 全文: 内政部
亚历克斯·布里克 拆分混合ASP程序。 (英语) Zbl 07455702号 Ricca,Francesco(ed.)等人,《第36届逻辑编程(技术通信)国际会议论文集》,ICLP 2020,UNICAL,Rende(CS),意大利,2020年9月18日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)325,21-34(2020年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Brik},电子。程序。西奥。计算。科学。(EPTCS)325,21-34(2020;Zbl 07455702) 全文: arXiv公司 链接
蘑菇、蘑菇;史蒂文·肖卡特;洪玲红;凯萨琳·马查尔;马丁·德·科克 使用模糊答案集编程建模多值生物交互网络。 (英语) Zbl 1397.68027号 模糊集系统。 345, 63-82 (2018).MSC公司:68N17号 68层37 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{M.Mushthofa}等人,模糊集系统。345、63-82(2018;Zbl 1397.68027) 全文: 内政部 链接
伊莱·梅赫吉;史蒂文·肖卡特;马丁·德·科克 使用经验法则修复不一致的答案集程序:一项基因调控网络案例研究。 (英语) Zbl 1404.68157号 国际J近似推理 83, 243-264 (2017).MSC公司:68层35 68N17号 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{E.Merhej}等人,《国际近似推理》83,243--264(2017;Zbl 1404.68157) 全文: 内政部 链接
埃斯拉·埃尔登;沃尔坎州帕托格鲁 动作语言在认知机器人中的应用。 (英语) Zbl 1357.68218号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,229-246(2012)。MSC公司:68T27型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Erdem}和\textit{V.Patoglu},莱克特。注释计算。科学。7265,229--246(2012;Zbl 1357.68218) 全文: 内政部
马库斯·杜津斯基;沃尔夫冈·马尔旺;马克斯·奥斯特罗斯基;托尔斯滕·绍布;安尼格丽特·瓦格勒 使用ASP自动重建网络。 (英语) Zbl 1219.92020号 理论与实践。日志。程序。 11,No.4-5,749-766(2011).MSC公司:92C40型 第92页第42页 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{M.Durzinsky}等人,《理论与实践》。日志。程序。11,编号4--5749-766(2011年;兹bl 1219.92020) 全文: 内政部 arXiv公司
陈茵;林方珍;张燕;周毅 循环可分程序及其一阶可定义性。 (英语) Zbl 1223.68027号 Artif公司。智力。 175,第3-4号,890-913(2011).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,Artif。智力。175,编号3--4,890--913(2011;Zbl 1223.68027) 全文: 内政部