佩德罗·卡巴拉尔;蝉蜕、阿加塔;范德托雷、伦德特 带有明确否定的道义均衡逻辑。 （英语） Zbl 07855141号 Sarah Gaggl等人，《人工智能中的逻辑》。第18届欧洲会议，JELIA 2023，德国德累斯顿，2023年9月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14281, 498-514 (2023).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Lect。注释计算。科学。14281498--514（2023；Zbl 07855141） 全文： 内政部
费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 将叉简化为逻辑程序的多项式。 （英语） 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） 全文： 内政部 OA许可证
佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法利尼亚斯·德尔·塞罗 自知答案集编程。 （英语） 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 p.（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 1434.68064号 理论与实践。日志。程序。 19，编号5-6，908-924（2019）.MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，理论与实践。日志。程序。19，编号5--6，908--924（2019；Zbl 1434.68064） 全文： 内政部 arXiv公司
费利西达·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 忘记叉子里的辅助原子。 （英语） 兹比尔1478.68338 Artif公司。智力。 275, 575-601 (2019).MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，Artif。因特尔。275575-601（2019年；Zbl 1478.68338） 全文： 内政部 哈尔
佩德罗·卡巴拉尔;豪尔赫·范丁诺;托尔斯滕·绍布;塞巴斯蒂安·谢尔霍恩 Gelfond-Zhang聚合为命题公式。 （英语） Zbl 1478.68363号 Artif公司。智力。 274, 26-43 (2019).MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Artif。因特尔。274、26-43（2019年；Zbl 1478.68363） 全文： 内政部
佩德罗·卡巴拉尔;豪尔赫·范丁诺;路易斯·法里亚斯·德尔·塞罗;大卫·皮尔斯 具有内涵集的功能性ASP：应用于Gelfond-Zhang骨料。 （英语） Zbl 1451.68255号 理论与实践。日志。程序。 18，编号3-4，390-405（2018）.MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，《理论与实践》。日志。程序。18、编号3--4、390--405（2018；Zbl 1451.68255） 全文： 内政部 arXiv公司
费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔;马丁·迪盖兹 带变量的时态逻辑程序。 （英语） Zbl 1379.68288号 理论与实践。日志。程序。 17，第2期，226-243（2017）.MSC公司：68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，理论与实践。日志。程序。17，No.2，226--243（2017；Zbl 1379.68288） 全文： 内政部 arXiv公司
费利西达·阿瓜多;佩德罗·卡巴拉尔;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁维达尔 平衡逻辑的指称语义。 （英语） Zbl 1379.68032号 理论与实践。日志。程序。 15，编号4-5，620-634（2015）.MSC公司：68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，理论与实践。日志。程序。15、编号4--5、620--634（2015；Zbl 1379.68032） 全文： 内政部 arXiv公司
佩德罗·卡巴拉尔 时间理论的稳定模型（受邀演讲）。 （英语） Zbl 1467.68084号 Calimeri，Francesco（编辑）等人，《逻辑编程与非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 1-13 (2015).MSC公司：60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}，莱克特。注释计算。科学。9345，1-13（2015；Zbl 1467.68084） 全文： 内政部
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 时间均衡逻辑：一项调查。 （英语） Zbl 1400.68199号 J.应用。非类别。日志。 23，编号1-2，2-24（2013）.MSC公司：68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，J.Appl。非类别。日志。23、编号1--2、2--24（2013；Zbl 1400.68199） 全文： 内政部
佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯 良好且部分稳定的语义逻辑方面。 （英语） Zbl 1248.68128号 Frid，Anna（编辑）等人，《计算机科学——理论与应用》。2009年8月18日至23日，在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会，CSR 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03350-6/pbk）。计算机科学讲座笔记5675,1-11（2009）。MSC公司：68N17号 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Lect。注释计算。科学。5675，1--11（2009年；Zbl 1248.68128） 全文： 内政部
费利西达·阿瓜多;佩德罗·卡巴拉尔;吉尔伯托·佩雷斯;康塞普西翁·维达尔 强等价时序逻辑程序。 （英语） 兹比尔1178.68551 Hölldobler，Steffen（编辑）等人，《人工智能中的逻辑》。第11届欧洲会议，JELIA 2008，德国德累斯顿，2008年9月28日至10月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87802-5/pbk）。计算机科学课堂讲稿5293。人工智能课堂讲稿，8-20（2008）。MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，Lect。注释计算。科学。5293，8--20（2008；Zbl 1178.68551） 全文： 内政部
佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯丁，巴尔韦德 部分平衡逻辑。 （英语） Zbl 1125.68113号 安。数学。Artif公司。智力。 50，编号3-4，305-331（2007）.MSC公司：68T27型 03B60号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，《数学年鉴》。Artif公司。因特尔。50，编号3--4，305-331（2007；Zbl 1125.68113） 全文： 内政部