停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

马里奥·R·F·贝内维提斯

马里奥·罗伯托·福尔哈德拉（Mario Roberto Folhadela Benevides）

>主页 >珀森斯

人员信息

附属： 巴西里约热内卢联邦大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2022
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/BenevidesM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/BenevisesMM22
马里奥·罗伯托·福尔哈德拉（Mario Roberto Folhadela Benevides）,亚历山大·马德拉,曼纽尔·马丁斯:
分级认知逻辑与公告。 J.日志。代数方法课程。 125:100732(2022)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MachadoB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/MachadoB22
维托·马查多,马里奥·R·F·贝内维提斯:
社交网络的时间逻辑。 J.日志。计算。 32(6):1088-1108(2022)
2021
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsen/BenevidesMM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsen/BenevidesMM21
马里奥·R·F·贝内维提斯,亚历山大·马德拉,曼纽尔·马丁斯:
用结构化知识为认识逻辑增加证明演算。 FSEN公司 2021:53-68
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2103-07392
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2103-07392
维托·马查多,马里奥·R·F·贝内维提斯:
社交网络的时间逻辑。 CoRR公司腹肌/2103.07392(2021)
2020
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/BenevideM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/BenevidesM20
马里奥·R·F·贝内维提斯,亚历山大·马德拉:
DaLí-动态逻辑，新趋势和应用。 J.日志。代数方法课程。 111:100514(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsen/GomesMB19配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsen/GomesMB19
莱安德罗·戈麦斯,亚历山大·马德拉,马里奥·R·F·贝内维提斯:
具有传播故障的Petri网的逻辑。 FSEN公司 2019:145-157
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lsfa/MachadoB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lsfa/MachadoB20
维托·马查多,马里奥·R·F·贝内维提斯:
总体公告逻辑（PPAL）。 LSFA公司 2019:105-123
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-01164
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-01164
马里奥·R·F·贝内维提斯,Isaque M.S.利马:
具有交流动作的动态认识逻辑。 CoRR公司 abs/1902.01164(2019)
2018
[j18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/附录LH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BenevisesLH18
马里奥·R·F·贝内维提斯,布鲁诺·洛佩斯,爱德华·赫尔曼·海斯勒:
关于Petri网的推理：一种基于命题动态逻辑的方法。理论。计算。科学。 744:22-36(2018)
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/图表/VelosoVBL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/diagrams/VelosoVBL18
希拉·R·M·维洛索,保罗·A·S·维洛索,马里奥·R·F·贝内维提斯,Isaque M.S.利马:
在图表和通用模型检查器上。图表 2018:680-688
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/科目/BenevisesL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesL19
马里奥·罗伯托·福尔哈德拉（Mario Roberto Folhadela Benevides）,Isaque Macalam Saab Lima公司:
带有交流动作的动态认识逻辑。 LSFA公司 2018:67-82
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MadeiraMB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MadeiraMB19
亚历山大·马德拉,曼纽尔·马丁斯,马里奥·R·F·贝内维提斯:
认知逻辑与结构化知识。 LSFA公司 2018:137-149
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/2017dali
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/2017达利
亚历山大·马德拉,马里奥·R·F·贝内维提斯:
动态逻辑。新趋势和应用——第一届国际研讨会，2017年9月23日至24日，巴西巴西利亚，DALI 2017，会议记录。计算机科学课堂讲稿10669,施普林格 2018，国际标准图书编号978-3-319-73578-8 [目录]
2017
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cys/BenevidesL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cys/BenevidesL17
马里奥·R·F·贝内维提斯,伊萨克·利马:
带有后置条件的动作模型。计算机系统 21(三)(2017)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Benevides17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Benevides17
马里奥·R·F·贝内维提斯:
PDL中具有并行算子的双相似和逻辑等价程序。理论。计算。科学。 685:23-45(2017)
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/VelosoVB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/VelosoVB17
保罗·A·S·维洛索,希拉·R·M·维洛索,马里奥·R·F·贝内维提斯:
关于模态的图演算。理论。计算。科学。 685:83-103(2017)
[公元33年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lpnmr/MachadoB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/MachadoB17
维托·马查多,马里奥·R·F·贝内维提斯:
总体公告逻辑（PPAL）。 DARe@LPNMR 2017:2-15
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BenevidesMM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesMM18
马里奥·R·F·贝内维提斯,亚历山德拉·马德拉,曼纽尔·马丁斯:
等级认识逻辑家族。 LSFA公司 2017:45-59
2016
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/BenevidesLH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/BenevidesLH16
马里奥·R·F·贝内维提斯,布鲁诺·洛佩斯,爱德华·赫尔曼·海斯勒:
迭代Petri网的命题动态逻辑。 ICTAC公司 2016:441-456
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/lsfa/2015年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lsfa/2015
马里奥·R·F·贝内维提斯,雷内·蒂曼:
2015年8月31日至9月1日，巴西纳塔尔，2015年LSFA第十届逻辑和语义框架及应用研讨会论文集。理论计算机科学电子笔记323,爱思维尔 2016 [目录]
2015
[c30]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/paams/LopesBH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/paams/LopesBH15
布鲁诺·洛佩斯,马里奥·R·F·贝内维提斯,爱德华·赫尔曼·海斯勒:
基于随机Petri网的多智能体系统推理。 PAAMS（特别会议） 2015:75-86
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Benevides16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesT16
马里奥·R·F·贝内维提斯,雷内·蒂曼:
前言。 LSFA公司 2015:1-2
2014
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/LopesBH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/LopesBH14
布鲁诺·洛佩斯,马里奥·R·F·贝内维提斯,爱德华·赫尔曼·海斯勒:
Petri网的命题动态逻辑。日志。J.IGPL公司 22(5):721-736(2014)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/VelosoVB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/VelosoVB14
保罗·A·S·维洛索,希拉·R·M·维洛索,马里奥·R·F·贝内维提斯:
结构化数据的PDL：一种图形-微积分方法。日志。J.IGPL公司 22(5):737-757(2014)
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/FerreiraFBSM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/FerreiraFBSM14
弗朗西尔伯·马丁斯·费雷拉,西贝尔·马托斯·弗雷尔,马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特,安娜·特蕾莎·C·马丁斯:
混合逻辑中的多项式层次图属性。 J.计算。系统。科学。 80(6):1087-1101(2014)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BenevidesS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BeneviessS14
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
命题动态逻辑，用于与CCS并行运算符通信并发程序。 J.日志。计算。 24(4):919-951(2014)
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/VelosoVB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/VelosoVB15
保罗·A·S·维洛索,希拉·R·M·维洛索,马里奥·R·F·贝内维提斯:
关于多模态逻辑的图演算。 LSFA公司 2014:231-252
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/imla/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/imla/2013
瓦莱丽亚·德佩瓦,马里奥·R·F·贝内维提斯,维维克·尼甘姆,伊莱恩·皮门特尔:
2013年4月7日，巴西里约热内卢，第六届直觉模态逻辑与应用研讨会论文集，IMLA 2013，与UNILOG 2013联合举办。理论计算机科学电子笔记300,爱思维尔 2014 [目录]
2013
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BenevisesLNR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BenevidesLNR14
马里奥·R·F·贝内维提斯,伊萨克·利马,拉斐尔·纳德,佩德罗·罗杰蒙特:
在战略游戏中使用HMM。 DCM公司 2013:73-84
[公元26年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/PaivaBNP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PaivaBNP14
瓦莱丽亚·德佩瓦,马里奥·R·F·贝内维提斯,维维克·尼甘姆,伊莱恩·皮门特尔:
前言。 IMLA@UNILOG公司 2013:1-2
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/科目/受益14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Benevides14
马里奥·R·F·贝内维提斯:
PDL中的相似和逻辑等价程序。 LSFA公司 2013:5-18
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/LopesBH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/LopesBH14
布鲁诺·洛佩斯,马里奥·R·F·贝内维提斯,爱德华·赫尔曼·海斯勒:
Petri网命题动态逻辑的扩展。 LSFA公司 2013:67-83
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/VelosoVB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/VelosoVB14
保罗·A·S·维洛索,希拉·R·M·维洛索,马里奥·R·F·贝内维提斯:
模态逻辑的图形方法。 LSFA公司 2013:123-139
2011
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Benevides11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BenevisesS11
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
图和混合逻辑的多维乘积研究。理论。计算。科学。 412(37):4946-4966(2011)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/FerreiraFBSM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/FerreiraFBSM11
弗朗西尔伯·马丁斯·费雷拉,西贝尔·马托斯·弗雷尔,马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特,安娜·特蕾莎·C·马丁斯:
混合逻辑与NP图属性。沃尔利克 2011:123-134
2010
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/VelosoVVFBD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/VelosoVVFBD10
保罗·A·S·维洛索,希拉·R·M·维洛索,豪尔赫·彼得鲁西奥·维亚纳,雷娜塔·德·弗雷塔斯,马里奥·R·F·贝内维提斯,卡拉A.D.M.德尔加多:
关于模糊概念和模式：模块化方法。日志。J.IGPL公司 18(三):381-402(2010)
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/科目/受益FV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesFV11
马里奥·R·F·贝内维提斯,雷娜塔·德·弗雷塔斯,豪尔赫·彼得鲁西奥·维亚纳:
具有存储、恢复和并行组合的命题动态逻辑。 LSFA公司 2010:95-107

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/BenevissS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/BenevidesS09
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
使用模态逻辑来表示和检查全局图属性。日志。J.IGPL公司 17(5):559-587(2009)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mates/DelgadoB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mates/DelgadoB09
卡拉A.D.M.德尔加多,马里奥·R·F·贝内维提斯:
概率多智能体系统中认知特性的验证。 MATES公司 2009:16-28
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/Benevides10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesS10
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
基于pi-Calculus的并发程序命题动态逻辑。 400万 2009:49-64
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BenevidesS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesS09
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
图与混合逻辑的乘积。 LSFA公司 2009:103-118
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/lsfa/2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lsfa/2008
贝洛·奥里藏特,伊莱恩·皮门特尔,马里奥·R·F·贝内维提斯:
2008年8月26日，巴西萨尔瓦多，LSFA 2008，逻辑和语义框架与应用第三次研讨会论文集。理论计算机科学电子笔记247,爱思维尔 2009 [目录]
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0904-0034
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0904-0034
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
基于CCS的并发程序通信动态逻辑。 CoRR公司 abs/0904.0034(2009)
2008
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbia/BenevisesDC08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbia/BenevidesDC08
马里奥·R·F·贝内维提斯,卡拉A.D.M.德尔加多,米歇尔·卡里尼:
从基于知识的程序中证明认知和时间属性。 SBIA公司 2008:134-144
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BenevidesS08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BenevissS08
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
CCS程序的命题动态逻辑。沃尔利克 2008:83-97
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/HorizontePB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HorizontePB09
贝洛·奥里藏特,伊莱恩·皮门特尔,马里奥·R·F·贝内维提斯:
前言。 LSFA公司 2008:1-3
2007
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jphil/VelosoFVBV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jphil/VelosoFVBV07
保罗·A·S·维洛索,雷娜塔·德·弗雷塔斯,豪尔赫·彼得鲁西奥·维亚纳,马里奥·R·F·贝内维提斯,希拉·R·M·维洛索:
论叉箭头逻辑及其表现力。 J.菲洛斯。日志。 36(5):489-509(2007)
[c14]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BenevidesS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesS08
马里奥·R·F·贝内维提斯,路易斯·梅纳施·谢赫特:
图形属性的模态表达。 LSFA公司 2007:31-47
2006
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BenevidesDPLR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesDPLR08
马里奥·R·F·贝内维提斯,卡拉A.D.M.德尔加多,卡洛斯·洛佩斯·蓬博,路易斯·洛佩斯,里卡多·里贝罗:
一种基于组合自动机的多代理系统模型检查方法。 SBMF公司 2006:133-149
2005
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/CostaB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/CostaB05
瓦妮娅·科斯塔,马里奥·R·F·贝内维提斯:
异步分布式系统知识推理。日志。J.IGPL公司 13(1):5-28(2005)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/CostaB05a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/CostaB05a
瓦妮娅·科斯塔,马里奥·R·F·贝内维提斯:
将并发公共知识形式化为模态逻辑的产品。日志。J.IGPL公司 13(6):665-684(2005)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wrac/WasconcellosHB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wrac/WasconcelosHB05
D.R.Vasconcelos博士,爱德华·赫尔曼·海斯勒,马里奥·R·F·贝内维提斯:
通过策略定义代理：将MAS视为游戏。 WRAC公司 2005:299-311
2004
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbia/BeneviesDFVV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbia/BenevidesDFVV04
马里奥·R·F·贝内维提斯,卡拉A.D.M.德尔加多,雷纳塔·德·弗雷塔斯,保罗·A·S·维洛索,希拉·R·M·维洛索:
关于模糊概念的模式。 SBIA公司 2004:1-10
2003
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jphil/FrietasVBVV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jphil/FreitasVBVV03
雷娜塔·德·弗雷塔斯,豪尔赫·彼得鲁西奥·维亚纳,马里奥·R·F·贝内维提斯,希拉·R·M·维洛索,保罗·A·S·维洛索:
叉箭头逻辑中的正方形。 J.菲洛斯。日志。 32(4):343-355(2003)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saint/PiresBM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saint/PiresBM03
保罗·F·皮雷,马里奥·R·F·贝内维提斯,马尔塔·马托索:
调解异构Web服务。圣保罗 2003:344-347
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/kl/03/Benevides03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/kl/03/Benevides03网站
马里奥·R·F·贝内维提斯:
有限图的模态逻辑。并发和同步逻辑 2003:239-267
2002
【c9】
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icai/DelgadoB02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icai/DelgadoB02
卡拉A.D.M.德尔加多,马里奥·R·F·贝内维提斯:
分布式系统中关于事件和知识的推理。 IC-AI公司 2002:1213-1219
【c8】
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icai/CostaB02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icai/CostaB02
瓦妮娅·科斯塔,马里奥·R·F·贝内维提斯:
异步多代理系统中知识表示的二维模式逻辑。 IC-AI公司 2002:1271-1277
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jit/PiresBM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jit/PiresBM02
保罗·F·皮雷,马里奥·R·F·贝内维提斯,马尔塔·马托索:
构建可靠的Web服务组合。 Web、Web服务和数据库系统 2002:59-72
2001
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/BarbosaBF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/BarbosaBF01
瓦尔米尔·卡内罗·巴博萨,马里奥·R·F·贝内维提斯,艾鲁·L·奥利维拉·菲略:
广义饮酒哲学家的优先动力。信息处理。莱特。 79(4):189-195(2001)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/BarbosaBF01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/BarbosaBF01
瓦尔米尔·卡内罗·巴博萨,马里奥·R·F·贝内维提斯,菲利佩·M·G·弗朗萨:
以非统一的访问速率共享资源。理论计算。系统。 34(1):13-26(2001)
2000
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sac/PiresBM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sac/PiresBM00
保罗·F·皮雷,马里奥·R·F·贝内维提斯,马尔塔·马托索:
面向对象数据库中指定通信行为的机制。 SAC（1） 2000:389-397

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1997
【c5】
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/opodis/BenevidesS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/opodis/BenevidesS97
马里奥·R·F·贝内维提斯,马塞洛·西曼:
资源共享问题CCS规范的自动生成。奥波迪斯 1997:111-122
1995
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecsqaru/Benevides95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecsqaru/Benevides95
马里奥·R·F·贝内维提斯:
多数据库逻辑。 ECSQARU公司 1995:28-36
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbia/罗德里格斯B95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbia/RodriguesB95
奥迪纳多·罗德里格斯,马里奥·R·F·贝内维提斯:
PROMAL：模态动作逻辑编程。 SBIA公司 1995:101-111
1994
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/plip/罗德里格斯B94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/plilp/RodriguesB94
奥迪纳多·罗德里格斯,马里奥·R·F·贝内维提斯:
PROMAL-模态动作逻辑编程。 PLILP公司 1994:457-458
1993
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Benevies93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Benevises93
马里奥·R·F·贝内维提斯:
在自然演绎中区分假设和超逻辑公理。库尔特·哥德尔座谈会 1993:120-131
1992
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BenevidesM92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BenevidesM92
马里奥·R·F·贝内维提斯,T.S.E.Maibaum公司:
必要的情态连接词（\Box）的建设性表达。 J.日志。计算。 2(1):31-50(1992)
1991
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/慈善事业91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Benevides91
马里奥·R·F·贝内维提斯:
多世界推理的证明理论方法。英国伦敦帝国理工学院，1991

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。