×
编辑配置文件（在新选项卡中打开）

阿尔瓦罗·弗雷塔斯·莫雷拉

合著者距离
作者ID: 莫雷拉·阿尔瓦罗·弗里塔斯“Moreira，Alvaro Freitas”最近发表的zbMATH文章
发布方式： 阿尔瓦罗·莫雷拉;阿尔瓦罗·F·莫里拉。;阿尔瓦罗·弗雷塔斯·莫雷拉;A.F.莫雷拉。
已编制索引的文档： 8出版物自2002年起
合著者： 6位合著者具有8联合出版物
147位合作作者
全部的 前5名

合著者

0 单作者的
4 马洛·苏扎
三 拉斐尔·博迪尼。
三 雷娜塔·帕索斯·马查多·维埃拉
1 达特罗·何塞修女
1 鲁博，F.巴登
1 迈克尔·J·伍尔德里奇。

系列

1 理论计算机科学
1 人工智能研究杂志
1 数学与人工智能年鉴
1 通用计算机科学杂志
1 程序设计中的逻辑和代数方法杂志

字段

5 数学逻辑和基础（03-XX）
5 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

5出版物有被引用9中的次6文件 引用人▼ 年份▼
关于面向代理编程语言中基于言语行为的通信的形式语义。 Zbl 1182.68110号
维埃拉，R。;A.F.莫雷拉。;伍尔德里奇，M。;博迪尼，R.H。
三
2007
作为信念变化逻辑的动态偏好逻辑。 Zbl 1499.03015号
马洛·苏扎;阿尔瓦罗·莫雷拉;维埃拉，雷纳塔
2
2018
将信念基础的变化带入动态认识逻辑。 Zbl 1496.03077号
马洛·苏扎;阿尔瓦罗·莫雷拉
2
2020
证明面向代理编程语言的BDI属性。AgentSpeak（L）中的不对称命题原则。 Zbl 1059.68126号
拉斐尔·博迪尼。;阿尔瓦罗·F·莫里拉。
1
2004
AspectJ中建议和原始类型的交互。 Zbl 1217.68056号
F.Barden鲁博;R.马查多。;阿尔瓦罗·弗雷塔斯·莫雷拉;里贝罗。;D.J.奈斯。
1
2008
将信念基础变化引入动态认知逻辑。 Zbl 1496.03077号
马洛·苏扎;阿尔瓦罗·莫雷拉
2
2020
作为信念变化逻辑的动态偏好逻辑。 Zbl 1499.03015号
马洛·苏扎;阿尔瓦罗·莫雷拉;雷娜塔·维埃拉
2
2018
AspectJ中建议和原始类型的交互。 Zbl 1217.68056号
鲁博，F.巴登;R.马查多。;阿尔瓦罗·弗雷塔斯·莫雷拉;里贝罗。;D.J.奈斯。
1
2008
关于面向代理编程语言中基于言语行为的通信的形式语义。 Zbl 1182.68110号
维埃拉，R。;A.F.莫雷拉。;伍尔德里奇，M。;博迪尼，R.H。
三
2007
证明面向代理编程语言的BDI属性。代理峰值（L）中的不对称命题原理。 兹比尔1059.68126
拉斐尔·博迪尼。;阿尔瓦罗·F·莫里拉。
1
2004
所有引用出版物 前5名被引用出版物
全部的 前5名

18位作者引用

2 阿尔瓦罗·弗雷塔斯·莫雷拉
2 马洛·苏扎
1 乔昂·阿劳乔
1 克拉拉·贝纳克·厄尔
1 拉斐尔·博迪尼。
1 达罗查·科斯塔（da Rocha Costa）、安东尼奥·卡洛斯（António Carlos）
1 尤尔根·迪克斯
1 阿尔瓦罗·费尔南德斯·迪亚斯
1 迈克尔·费希尔
1 拉尔斯·弗雷德隆德
1 佩德罗·格雷罗
1 朱利奥·马里诺
1 安娜·克劳迪娅·莫雷拉
1 Alison R.Panisson。
1 皮门塔（Pimenta）、马塞洛·索尔斯（Marcelo Soares）
1 爱德华多·凯斯勒·皮维塔
1 普莱斯，R.汤姆
1 雷娜塔·帕索斯·马查多·维埃拉

4篇连载文章中引用

2 程序设计中的逻辑和代数方法杂志
1 理论计算机科学
1 计算机程序设计科学
1 数学与人工智能年鉴

在2个字段中引用

5 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的引文