阿维德·贝克尔;佩德罗·卡巴拉尔;马丁·迪盖兹;路易斯·法里纳斯·德尔·塞罗;托尔斯滕·绍布;安娜·舒曼 度量动态平衡逻辑。 (英语) Zbl 07757219号 J.应用。非类别。日志。 33,编号3-4,495-519(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Becker}等人,J.Appl。非类别。日志。33,编号3--4,495--519(2023;Zbl 07757219) 全文: 内政部 arXiv公司 OA许可证
佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 基于时间跟踪的度量时间应答集编程。 (英语) 兹伯利07671883 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 117-130 (2022).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,Lect。注释计算。科学。13416、117--130(2022;Zbl 07671883) 全文: 内政部
佩德罗·卡巴拉尔;马丁·迪盖兹;托尔斯滕·绍布;安娜·舒曼 面向度量时态答案集编程。 (英语) Zbl 1468.68052号 理论与实践。日志。程序。 20,第5期,783-798(2020).MSC公司:68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。20,第5号,783--798(2020;Zbl 1468.68052) 全文: 内政部 arXiv公司
佩德罗·卡巴拉尔;罗兰·卡明斯基;托尔斯滕·绍布;安娜·舒曼 有限迹上的时态答案集编程。 (英语) Zbl 1451.68256号 理论与实践。日志。程序。 18,编号3-4,406-420(2018).MSC公司:68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人,《理论与实践》。日志。程序。18、编号3--4、406--420(2018;Zbl 1451.68256) 全文: 内政部 arXiv公司