大卫·德兰娜;娜塔莎·亚历奇纳;法比亚诺·达尔皮亚斯;迈赫迪·达斯塔尼;布赖恩·洛根 多智能体系统中条件规范的数据驱动修订。 （英语） Zbl 07639826号 J.阿蒂夫。智力。研究（JAIR） 75, 1549-1593 (2022).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{D.Dell'ana}等人，J.Artif。智力。研究（JAIR）75，1549--1593（2022；Zbl 07639826） 全文： 内政部
Ågotnes，托马斯;娜塔莎·亚历奇纳;鲁斯塔姆·加利姆林 具有群组公告和分布式知识的逻辑：完整性和表达能力。 （英语） Zbl 1515.03068号 J.逻辑语言信息。 31，编号2，141-166（2022）.MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人，J.Logic Lang.Inf.31，No.2，141--166（2022；Zbl 1515.03068） 全文： 内政部
娜塔莎·亚历奇纳;尼克·巴西利亚德斯;迈赫迪·达斯塔尼;玛丽娜·德沃斯;布赖恩·洛根;塞尔吉奥·梅拉;安德烈亚萨·莫里斯·马汀;费尔南多·沙帕奇尼克 标准多智能体系统的计算模型。 （英语） Zbl 1482.68234号 Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 471-92（2013）。MSC公司：68T42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛N.Alechina｝等人，Dagstuhl Follow-Ups 4，71-92（2013；兹bl 1482.68234） 全文： 内政部
娜塔莎·亚历奇纳;菲利普·巴尔比亚尼;德米特里·什卡托夫 关于二进制关系的无限并集和交集的推理的模态逻辑。 （英语） Zbl 1398.03084号 J.应用。非类别。日志。 22，第4期，275-294（2012）.MSC公司：03B45号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{N.Alechina}等人，J.Appl。非类别。日志。22，第4号，275--294（2012；Zbl 1398.03084） 全文： 内政部
娜塔莎·亚历奇纳;布赖恩·洛根 有限资源下的信念归属。 （英语） Zbl 1208.03018号 合成 173，第2期，179-197（2010）. 审核人：David Makinson（伦敦） MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}和\textit{B.Logan}，综合173，第2期，179--197（2010；Zbl 1208.03018） 全文： 内政部
娜塔莎·亚历奇纳;布赖恩·洛根 一种基于资源的代理的逻辑。 （英语） Zbl 1162.68662号 J.逻辑语言信息。 18，第1期，79-95（2009）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}和\textit{B.Logan}，J.Logic Lang.Inf.18，No.1，79-95（2009；Zbl 1162.68662） 全文： 内政部