劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;丹尼尔·杜普雷 自组织映射的条件、模糊和概率解释。 (英语) Zbl 07486288号 J.日志。计算。 32,编号2,178-205(2022).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,J.Log。计算。32,编号2,178--205(2022;Zbl 07486288) 全文: DOI程序 arXiv公司
劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·塞塞德尔·杜普雷 通过ASP中的有界模型检查实现动作理论验证的完整性。 (英语) Zbl 1328.68127号 J.日志。计算。 25,第6期,1307-1330(2015).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,J.Log。计算。25,编号6,1307-1330(2015年;兹bl 1328.68127) 全文: DOI程序 链接
基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 访问控制中的逻辑:条件方法。 (英语) Zbl 1350.03029号 J.日志。计算。 第4期第24期第705-762页(2014年). 审核人:马里奥·阿尔维亚诺(伦德) MSC公司:03B70号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{V.Genovese}等人,J.Log。计算。24,第4号,705--762(2014;Zbl 1350.03029) 全文: DOI程序 链接
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 模态动作逻辑中的分支和因果关系。 (英语) 兹伯利0966.68196 J.日志。计算。 10,第5号,625-662(2000).MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,J.Log。计算。10,第5号,625--662(2000;Zbl 0966.68196) 全文: DOI程序
马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 逻辑编程的模式扩展:模块化、信念和假设推理。 (英语) Zbl 0916.68022号 J.日志。计算。 8,第5期,597-635(1998).MSC公司:68N17号 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baldoni}等人,J.Log。计算。8,第5号,597--635(1998;Zbl 0916.68022) 全文: DOI程序 链接