×

找到16个文档（结果1-16）

最新的 引文 关联
佩德罗·卡巴拉尔

时态ASP：从逻辑基础到实际使用泰林戈. （英语） Zbl 1524.68351号

Šimkus，Mantas（编辑）等人，《推理网络》。声明式人工智能。2021年9月8日至15日，比利时鲁汶，第17所2021年国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。13100, 94-114 (2022).
MSC公司：68T27型 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}，莱克特。注释计算。科学。13100，94-114（2022；Zbl 1524.68351）
全文： 内政部
费利西达·阿瓜多；佩德罗·卡巴拉尔；豪尔赫·范丁诺；吉尔伯托·佩雷斯；康塞普西翁·维达尔

线性动态平衡逻辑中的显式否定。 （英语） Zbl 1464.68334号

De Giacomo，Giuseppe（编辑）等人，《2020年ECAI》。第24届欧洲人工智能会议，2020年8月29日至9月8日，西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会，PAIS 2020。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。325, 569-576 (2020).
MSC公司：68T27型 03B44号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Aguado}等人，前面。Artif公司。智力。申请。325569-576（2020年；Zbl 1464.68334）
全文： 内政部
佩德罗·卡巴拉尔；托尔斯滕·绍布

具有时态描述逻辑公理的时态逻辑程序。 （英语） Zbl 1443.68173号

Lutz，Carsten（编辑）等人，描述逻辑，理论组合，等等。纪念弗兰兹·巴德60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。11560, 174-186 (2019).
MSC公司：68T27型 03B44号 68N17号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛P.Cabalar｝和\textit｛T.Schaub｝，Lect。注释计算。科学。11560174-186（2019年；Zbl 1443.68173）
全文： 内政部
佩德罗·卡巴拉尔；马丁·迪盖兹；托尔斯滕·绍布

面向有限迹上的动态答案集编程。 （英语） Zbl 1522.68102号

Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11481, 148-162 (2019).
MSC公司：68N17号 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}等人，Lect。注释计算。科学。11481148-162（2019年；Zbl 1522.68102）
全文： 内政部
佩德罗·卡巴拉尔

时间理论的稳定模型（受邀演讲）。 （英语） 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）
全文： 内政部
费利西达·阿瓜多；佩德罗·卡巴拉尔；马丁·迪盖兹；吉尔伯托·佩雷斯；康塞普西翁·维达尔

为临时接地铺平道路。 （英语） 兹比尔1281.68060

Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议（ICLP 2012）的技术交流，2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，290-300，仅电子版（2012年）。
MSC公司：68N17号 68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Aguado}等人，LIPIcs——莱布尼茨国际程序。通知。17、290-300（2012；Zbl 1281.68060）
全文： 内政部
佩德罗·卡巴拉尔；斯特凡·德姆里

时间平衡模型的自动计算。 （英语） Zbl 1377.68060号

维达尔·格曼（编辑），基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞，2011年7月18日至20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-32210-5/pbk）。计算机科学讲义7225，57-72（2012）。
MSC公司：68N17号 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}和\textit{S.Demri}，莱克特。注释计算。科学。7225，57-72（2012；Zbl 1377.68060）
全文： 内政部 哈尔
费利西达·阿瓜多；佩德罗·卡巴拉尔；吉尔伯托·佩雷斯；康塞普西翁·维达尔

可分割时序逻辑程序的循环公式。 （英语） Zbl 1327.68058号

Delgrade，James P.（编辑）等人，《逻辑编程和非单调推理》。2011年5月16日至19日，加拿大温哥华，第11届国际会议，LPNMR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20894-2/pbk）。计算机科学课程讲稿6645。《人工智能课堂讲稿》，80-92（2011）。
MSC公司：68N17号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{F.Aguado}等人，Lect。注释计算。科学。6645，80-92（2011；Zbl 1327.68058）
全文： 内政部
佩德罗·卡巴拉尔

线性时间平衡逻辑的标准形式。 （英语） Zbl 1306.68186号

Janhunen，Tomi（编辑）等人，《人工智能中的逻辑》。第十二届欧洲会议，JELIA 2010，芬兰赫尔辛基，2010年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15674-8/pbk）。计算机科学课堂讲稿6341。人工智能课堂讲稿，64-76（2010）。
MSC公司：68T27型 03B44号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}，莱克特。注释计算。科学。6341、64-76（2010年；Zbl 1306.68186）
全文： 内政部
佩德罗·卡巴拉尔；佩雷斯·维加，吉尔伯托

时间均衡逻辑：第一种方法。 （英语） 兹比尔1394.03032

Moreno Díaz，Roberto（编辑）等人，《计算机辅助系统理论——EUROCAST 2007》。第十一届计算机辅助系统理论国际会议，西班牙大加那利拉斯帕尔马斯，2007年2月12日至16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75866-2/pbk）。计算机科学课堂讲稿4739，241-248（2007）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}和\textit{G.Pérez Vega}，莱克特。注释计算。科学。4739、241--248（2007；Zbl 1394.03032）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件