劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷,丹尼尔 使用DLTL的\(\mathcal{EL}\)本体和时态答案集推理操作。 (英语) Zbl 07671891号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 231-244 (2022).MSC公司:第68页第17页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,Lect。注释计算。科学。13416、231--244(2022;Zbl 07671891) 全文: 内政部
肯·佐藤;劳拉·佐丹奴;巴尔多尼,马特奥 PROLEG元解释程序在国际私法中选择管辖权和法律的实施。 (英语) Zbl 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 1250.68267号 Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第九届国际研讨会,CLIMA IX,德国德累斯顿,2008年9月29日至30日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-02733-8/pbk)。计算机科学5405课堂讲稿。人工智能课堂讲稿,17-36(2009)。MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}和\textit{A.Martelli},莱克特。注释计算。科学。5405、17-36(2009年;Zbl 1250.68267) 全文: 内政部
佐丹奴,L。;A.马泰利。;萨皮诺,M.L。 条件逻辑程序设计的一种溯源证明过程。 (英语) Zbl 1419.68118号 Gabbay,Dov M.(编辑)等人,《实践推理》。1996年6月3日至7日在德国波恩举行的1996年FAPR正式和应用实践推理国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1085, 231-245 (1996).MSC公司:68T27型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,Lect。注释计算。科学。1085、231--245(1996年;Zbl 1419.68118) 全文: 内政部
D.加巴伊。;佐丹奴,L。;A.马泰利。;奥利维蒂,N。 逻辑编程语言中的假设更新、优先级和不一致性。 (英语) 兹比尔1496.68316 Marek,V.W.(编辑)等人,《逻辑编程和非单调推理》。第三届国际会议,LPNMR’95,美国肯塔基州列克星敦,1995年6月26-28日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。928, 203-216 (1995).MSC公司:68T27型 第68页第17页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人,Lect。注释计算。科学。928203-216(1995年;Zbl 1496.68316) 全文: 内政部