|
-
阿尼埃洛·穆拉诺
-
- Aniello Murano是一位教授计算机科学专业Dipartmento di学院Ingegneria Elettrica e delle Tecnologie dell’Informazione公司的那不勒斯费德里科二世大学.
- 他的研究兴趣包括:
人工智能;完备信息下多智能体系统策略推理的形式化研究; 无功系统的规范、验证和综合、模型检查和模块检查;形式语言、自动机理论、实时系统、下推和层次系统;时间逻辑和模态逻辑,人工智能中战略推理的逻辑;博弈论,平价博弈,解决方案概念,自动机制设计。
|