劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷,丹尼尔 使用DLTL的\(\mathcal{EL}\)本体和时态答案集推理操作。 (英语) Zbl 07671891号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,2022年LPNMR,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 231-244 (2022).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,Lect。注释计算。科学。13416、231--244(2022;Zbl 07671891) 全文: 内政部
肯·佐藤;劳拉·佐丹奴;马蒂奥·巴多尼 PROLEG元解释程序在国际私法中选择管辖权和法律的实施。 (英语) 兹伯利07671013 彼得罗·巴罗尼(编辑)等人,《逻辑与论证》。第四届国际会议,CLAR 2021,中国杭州,2021年10月20日至22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13040, 60-75 (2021).MSC公司:03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Satoh}等人,Lect。注释计算。科学。13040,60-75(2021;Zbl 07671013) 全文: 内政部
劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 多引用闭包的重建。 (英语) Zbl 1504.68210号 Artif公司。智力。 290,文章ID 103398,35 p.(2021).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{V.Gliozzi},Artif。智力。290,文章ID 103398,35 p.(2021;Zbl 1504.68210) 全文: 内政部 arXiv公司
劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 本体论中关于例外的推理:从词典闭包到怀疑闭包。 (英语) 兹比尔1497.68463 芬丹。通知。 176,编号3-4,235-269(2020).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{V.Gliozzi},Fundam。通知。176,编号3--4,235-269(2020;Zbl 1497.68463) 全文: 内政部 arXiv公司
劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 在概念软件多参考轻量级DL中进行推理的ASP方法。 (英语) 兹比尔1468.68212 理论与实践。日志。程序。 20,第5期,751-766(2020年).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.Theseider Dupré},理论与实践。日志。程序。20,第5号,751--766(2020;Zbl 1468.68212) 全文: 内政部 arXiv公司
劳拉·佐丹奴;丹尼尔·塞塞德尔·杜普雷 ASP在合理扩展中实现最小牵连SROEL公司. (英语) Zbl 1379.68294号 理论与实践。日志。程序。 16,编号5-6,738-754(2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{D.T.Dupré},理论与实践。日志。程序。16、编号5--6738--754(2016;Zbl 1379.68294) 全文: 内政部 arXiv公司
佐丹奴,L。;格利奥齐,V。;奥利维蒂,N。;波扎托,G.L。 理性闭包的语义表征:从命题逻辑到描述逻辑。 (英语) Zbl 1346.68186号 Artif公司。智力。 226, 1-33 (2015).MSC公司:68T27型 03B42号 03B47号 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,Artif。智力。226,1-33(2015;Zbl 1346.68186) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;斯皮奥塔,马特奥;丹尼尔·塞塞德尔·杜普雷 使用约束时态答案集编程进行业务流程验证。 (英语) Zbl 1298.68174号 理论与实践。日志。程序。 13,No.4-5,641-655(2013). 审核人:贾纳·科勒(卢塞恩) MSC公司:60年第68季度 68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,《理论与实践》。日志。程序。13、编号4--5、641--655(2013;Zbl 1298.68174) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷,丹尼尔 使用临时答案集推理操作。 (英语) Zbl 1267.68081号 理论与实践。日志。程序。 2013年第2期第13页,201-225页.MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,《理论与实践》。日志。程序。13,第2号,201--225(2013;Zbl 1267.68081) 全文: 内政部 arXiv公司
佐丹奴,劳拉;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 (mathcal{EL}^\bot)非单调扩张的表演算。 (英语) Zbl 1332.68209号 Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。《人工智能课堂讲稿》,180-195(2011)。MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,Lect。注释计算。科学。6793、180--195(2011年;Zbl 1332.68209) 全文: 内政部
吉诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 用于访问控制的条件构造逻辑及其序列演算。 (英语) Zbl 1333.03104号 Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。人工智能课堂讲稿,164-179(2011)。MSC公司:03B70号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Genovese}等人,莱克特。注释计算。科学。6793、164--179(2011年;Zbl 1333.03104) 全文: 内政部