圭多州长;弗朗西斯科·奥利维埃里;安东尼诺·罗托洛;克里斯塔尼·马特奥 对稳定解释的推断。 （英语） Zbl 07671892号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416245-258（2022年）。MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}等人，Lect。注释计算。科学。13416，245--258（2022；Zbl 07671892） 全文： 内政部
弗朗西斯科·奥利维埃里;圭多州长;克里斯塔尼·马特奥;阿卜杜勒·萨塔尔 计算不可行的元逻辑。 （英语） Zbl 07437034号 Faber，Wolfgang（编辑）等人，《人工智能中的逻辑》。第17届欧洲会议，JELIA 2021，虚拟活动，2021年5月17日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12678, 69-84 (2021).MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Olivieri}等人，Lect。注释计算。科学。12678，69-84（2021；Zbl 07437034） 全文： 内政部 链接
圭多州长;弗朗西斯科·奥利维埃里;克里斯塔尼·马特奥;西蒙·斯坎纳皮科 可废除偏好的修订。 （英语） Zbl 1452.68186号 国际J近似推理 104, 205-230 (2019).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}et al.，Int.J.近似推理104，205--230（2019；Zbl 1452.68186） 全文： 内政部 链接
圭多州长 实用规范推理与可废止道义逻辑。 （英语） Zbl 1517.68356号 d'Amato，Claudia（编辑）等人，《推理网络》。学习、不确定性、流媒体和可扩展性。2018年9月22日至26日，卢森堡埃什苏尔阿尔泽特，2018年第14届国际暑期学校。辅导讲座。查姆：斯普林格。莱克特。注释计算。科学。11078，1-25（2018）。MSC公司：68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}，莱克特。注释计算。科学。11078，1-25（2018；Zbl 1517.68356） 全文： 内政部
圭多州长 模态规则：使用模态运算符扩展可终止逻辑。 （英语） Zbl 1518.68361号 Benzmüller，Christoph（编辑）等人，《规则与推理》。2018年9月18-21日，卢森堡，第二届国际联席会议，RuleML+RR 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11092, 9-30 (2018).MSC公司：68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}，莱克特。注释计算。科学。11092，9--30（2018；Zbl 1518.68361） 全文： 内政部
雷吉斯·里维雷特;彼得罗·巴罗尼;高，杨;圭多州长;安东尼诺·罗托洛;乔瓦尼·萨托 概率论证的标记框架。 （英语） Zbl 1459.68197号 安。数学。Artif公司。智力。 83，第1期，21-71（2018）.MSC公司：68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Riveret}等人，《数学年鉴》。Artif公司。智力。83，编号1，21--71（2018；Zbl 1459.68197） 全文： 内政部 arXiv公司 链接
圭多州长;迈克尔·马赫（Michael J.Maher）。 带注释的不可行逻辑。 （英语） Zbl 1422.68219号 理论与实践。日志。程序。 17，编号5-6，819-836（2017）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Governatori｝和\textit｛M.J.Maher｝，理论与实践。日志。程序。17、编号5--6、819--836（2017；Zbl 1422.68219） 全文： 内政部 arXiv公司
圭多州长;弗朗西斯科·奥利维埃里;西蒙·斯坎纳皮科;安东尼诺·罗托洛;克里斯塔尼·马特奥 目标概念背后的基本原理。 （英语） Zbl 1379.68295号 理论与实践。日志。程序。 16，第3期，296-324（2016）.MSC公司：68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}等人，理论与实践。日志。程序。16，第3号，296--324（2016；Zbl 1379.68295） 全文： 内政部 arXiv公司
圭多州长;弗朗西斯科·奥利维埃里;安东尼诺·罗托洛;西蒙·斯坎纳皮科 在可撤销逻辑中计算强权限和弱权限。 （英语） Zbl 1286.03058号 J.菲洛斯。日志。 42，第6期，799-829（2013）.MSC公司：03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}等人，J.Philos。日志。42，第6号，799--829（2013；Zbl 1286.03058） 全文： 内政部 arXiv公司 链接
圭多·波埃拉;圭多州长;Joris Hulstijn;雷吉斯·里维雷特;安东尼诺·罗托洛;范德托雷、伦德特 FIPA ACL语义中的时间和不可行性。 （英语） Zbl 1248.68470号 J.应用。日志。 9，第4期，274-288（2011）.MSC公司：68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.Boella}等人，J.Appl。日志。9，第4号，274--288（2011；Zbl 1248.68470） 全文： 内政部
杰夫·布莱;大卫·比林顿;圭多州长;阿卜杜勒·萨塔尔 BDI逻辑的模态级别。 （英语） Zbl 1248.68469号 J.应用。日志。 9，第4期，250-273（2011）.MSC公司：68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Blee｝等人，J.Appl。日志。9，第4号，250--273（2011；Zbl 1248.68469） 全文： 内政部 链接
圭多州长;安东尼诺·罗托洛 正义被拖延就是正义被剥夺：赔偿和法律遵从的暂时性逻辑。 （英语） Zbl 1348.68238号 Leite，Joáo（编辑）等人，《多智能体系统中的计算逻辑》。第十二届国际研讨会，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22358-7/pbk）。计算机科学课堂讲稿6814。人工智能课堂讲稿，364-382（2011）。MSC公司：68T27型 03B44号 03B45号 03B80号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}和\textit{A.Rotolo}，莱克特。注释计算。科学。6814、364--382（2011年；Zbl 1348.68238） 全文： 内政部
圭多州长;安东尼诺·罗托洛 不断变化的法律制度：废除和废止。一： 修正可废止理论。 （英语） Zbl 1143.03306号 范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学讲义5076。人工智能课堂讲稿，3-18（2008）。MSC公司：03A05号 03B60号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}和\textit{A.Rotolo}，莱克特。注释计算。科学。5076，3--18（2008；Zbl 1143.03306） 全文： 内政部