马尔科·阿尔贝蒂;里卡多·泽斯;法布里西奥·里古齐;伊芙琳娜·拉姆 带有函数符号的MKNF混合知识库的迭代不动点语义。 (英语) Zbl 1528.68367号 Lierler,Yuliya(编辑)等人,第38届逻辑编程国际会议论文集,ICLP 2022,以色列海法,2022年7月31日至8月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)364,65-78(2022)。MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alberti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)364,65--78(2022;Zbl 1528.68367) 全文: arXiv公司 链接
法布里西奥·里古齐;埃琳娜·贝洛迪;里卡多·泽斯;马尔科·阿尔贝蒂;伊芙琳娜·拉姆 概率归纳约束逻辑。 (英语) Zbl 07432819号 机器。学习。 110,编号4,723-754(2021).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Riguzzi}等人,马赫。学习。110,编号4,723--754(2021;Zbl 07432819) 全文: 内政部
埃琳娜·贝洛迪;马尔科·阿尔贝蒂;法布里西奥·里古齐;里卡多·泽斯 概率逻辑规划的MAP推理。 (英语) Zbl 1468.68051号 理论与实践。日志。程序。 20,第5期,641-655(2020年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bellodi}等人,《理论与实践》。日志。程序。20,第5号,641--655(2020;Zbl 1468.68051) 全文: 内政部 arXiv公司
马尔科·阿尔贝蒂;皮耶朗基罗·德尔·阿夸;路易斯·莫尼兹·佩雷拉 运行时验证事件检测的观察策略:理论、算法、实验。 (英语) Zbl 1252.68128号 安。数学。Artif公司。智力。 62,第3-4号,161-186(2011).MSC公司:2017年第68季度 68单位99 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Alberti}等人,《数学年鉴》。Artif公司。智力。62,No.3--4,161--186(2011;Zbl 1252.68128) 全文: 内政部 链接
马尔科·阿尔贝蒂;阿娜·索菲亚·戈麦斯;里卡多·贡萨阿尔维斯;约昂·莱特;马丁·斯洛塔 以混合知识库表示的规范体系。 (英语) Zbl 1348.68252号 Leite,João(编辑)等人,多智能体系统中的计算逻辑。第12届国际研讨会,CLIMA XII,西班牙巴塞罗那,2011年7月17日至18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22358-7/pbk)。计算机科学课堂讲稿6814。《人工智能课堂讲稿》,330-346(2011)。MSC公司:68T42型 68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Alberti}等人,Lect。注释计算。科学。6814、330-346(2011年;Zbl 1348.68252) 全文: 内政部
马可·加瓦内利;马尔科·阿尔贝蒂;伊芙琳娜·拉姆 在SCIFF中集成溯源推理和约束优化。 (英语) Zbl 1251.68058号 Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649387-401(2009)。MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gavanelli}等人,Lect。注释计算。科学。5649387--401(2009年;Zbl 1251.68058) 全文: 内政部