马尔科·阿尔贝蒂;里卡多·泽斯;法布里西奥·里古齐;伊芙琳娜·拉姆 带有函数符号的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） 全文： 内政部