费利西达·阿瓜多;佩德罗·卡巴拉;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁维达尔 语法ASP忘记用叉子。 (英语) Zbl 07803979号 Artif公司。智力。 326,文章ID 104033,17 p.(2024).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,Artif。智力。326,文章ID 104033,17 p.(2024;Zbl 07803979) 全文: 内政部
豪尔赫·范丁诺;西姆兰·米什拉;哈维尔·罗梅罗;托尔斯滕·绍布 答案集编程变得简单。 (英语) Zbl 1529.68070号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13160, 133-150 (2023).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Fandinno}等人,Lect。注释计算。科学。13160133-150(2023年;Zbl 1529.68070) 全文: 内政部 arXiv公司
费利西达·阿瓜多;佩德罗·卡巴拉;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁维达尔 语法ASP忘记用叉子。 (英语) 兹伯利07671874 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 3-15 (2022).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,Lect。注释计算。科学。13416,3-15(2022;Zbl 07671874) 全文: 内政部
费利西达·阿瓜多;佩德罗·卡巴拉;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁维达尔 分叉到逻辑程序中的多项式归约。 (英语) Zbl 1496.68329号 Artif公司。智力。 308,文章ID 103712,14 p.(2022).MSC公司:68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,Artif。智力。308,文章ID 103712,14 p.(2022;Zbl 1496.68329) 全文: 内政部
里卡多·贡萨阿尔维斯;汤米·詹胡宁;马蒂亚斯·克诺尔;约昂·莱特 一致等价下的句法遗忘。 (英语) Zbl 07437048号 Faber,Wolfgang(编辑)等人,《人工智能中的逻辑》。第17届欧洲会议,JELIA 2021,虚拟活动,2021年5月17日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12678, 297-312 (2021).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gonçalves}等人,Lect。注释计算。科学。12678、297--312(2021;Zbl 07437048) 全文: 内政部
弗拉维奥·埃弗拉多;毛里西奥索里奥 针对采用半自动方法构建程序的答案集编程方法——扩展版和修订版。 (英语) Zbl 07516358号 Pozos-Parra,Pilar(编辑)等人,《第十一届和第十二届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集》,LANMR,墨西哥普埃布拉,2018年11月15日和2019年11月十五日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。354, 29-44 (2020).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Everardo}和\textit{M.Osorio},电子。注释Theor。计算。科学。354,29-44(2020年;兹bl 07516358) 全文: 内政部
佩德罗·卡巴拉;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 自知答案集编程。 (英语) Zbl 1504.68208号 Artif公司。智力。 289,文章ID 103382,18 p.(2020).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,Artif。智力。289,文章ID 103382,第18页(2020;Zbl 1504.68208) 全文: 内政部
佩德罗·卡巴拉;豪尔赫·范丁诺;尤利亚·利勒 模块化答案集编程是一种形式规范语言。 (英语) Zbl 1468.68119号 理论与实践。日志。程序。 20,第5期,767-782(2020年).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,第5号,767--782(2020;Zbl 1468.68119) 全文: 内政部 arXiv公司
里卡多·贡萨阿尔维斯;马蒂亚斯·克诺尔;约昂·莱特;斯特凡·沃尔特兰 答案集编程中遗忘的极限。 (英语) Zbl 1493.68350号 Artif公司。智力。 286,文章ID 103307,45 p.(2020).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gonçalves}等人,Artif。智力。286,文章ID 103307,45 p.(2020;Zbl 1493.68350) 全文: 内政部