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

Wojciech Penczek

cnrs - institute for information sciences & technologies (ins2i)

26H指数
221论文数
6.4K被引数
收录论文 5
发表时间
logo
Strategic (timed) computation tree logic战略（定时）计算树逻辑
errAutonomous Agents and Multi-Agent Systems
IF2.6
err2026-02-09
err0
errOAAI
errArias, Jaime; Jamroga, Wojciech; Penczek, Wojciech; Petrucci, Laure; Sidoruk, Teofil
err分享
err收藏
Model checking for distributed reaction systems with temporal-epistemic properties
errNATURAL COMPUTING
IF1.6
err2025-11-01
err0
errOAAI
errMeski, Artur; Koutny, Maciej; Mikulski, Lukasz; Petre, Ion; Penczek, Wojciech; Piatkowski, Marcin
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收藏
Combining ontology reductions with new approaches to automated abstract planning of Planics将本体约简与新方法相结合，实现平面的自动抽象规划
errAPPLIED SOFT COMPUTING
IF6.6
err2017-04-01
err1
PREAI
errNiewiadomski, Artur; Penczek, Wojciech; Skaruz, Jaroslaw; Szreter, Maciej; Polrola, Agata
err分享
err收藏
Bounded model checking for knowledge and real time面向知识和实时性的有界模型检测
errartificial intelligence review
IF4.6
err2007-11-01
err24
errOAAI
errLomuscio, Alessio; Penczek, Wojciech; Wozna, Boiena
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Alessio Lomuscio
H 指数: 37 · 论文数: 270
M
Maciej Koutny
H 指数: 30 · 论文数: 365
W
Wojciech Jamroga
H 指数: 22 · 论文数: 196
I
Ion Petre
H 指数: 22 · 论文数: 196
L
Laure Petrucci
H 指数: 19 · 论文数: 191
查看更多