logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Carlos Olarte

centre national de la recherche scientifique (cnrs)

14H指数
112论文数
567被引数
收录论文 3
发表时间
logo
The Modal Cube Revisited: Semantics Without Worlds模态立方体再探：无世界的语义学
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errLeme, Renato; Olarte, Carlos; Pimentel, Elaine; Coniglio, Marcelo Esteban
err分享
err收藏
Unified opinion formation analysis in rewriting logic在重写逻辑中的统一观点形成分析
errJournal of Logical and Algebraic Methods in Programming
IF1.2
err2025-10-01
err0
PREAI
errOlarte, Carlos; Ramirez, Carlos; Rocha, Camilo; Valencia, Frank
err分享
err收藏
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2024-06-01
err0
PREAI
errArias, Jaime; Olarte, Carlos; Petrucci, Laure; Masko, Lukasz; Penczek, Wojciech; Sidoruk, Teofil
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
W
Wojciech Penczek
H 指数: 26 · 论文数: 221
F
Frank Valencia
H 指数: 20 · 论文数: 123
L
Laure Petrucci
H 指数: 19 · 论文数: 191
M
Marcelo E. Coniglio
H 指数: 18 · 论文数: 172
C
Camilo Rocha
H 指数: 14 · 论文数: 101
查看更多