科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
university of amsterdam
0
H指数
208
论文数
0
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Interpolation for Converse PDL
逆PDL的插值
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF
0
2026-01-01
0
OA
AI
Kloibhofer, Johannes; Dalmas, Valentina Trucco; Venemal, Yde
分享
收藏
A survey of languages for specifying dynamics: A knowledge engineering perspective
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF
10.4
2001-01-01
11
OA
AI
van Eck, P; Engelfriet, J; Fensel, D; van Harmelen, F; Venema, Y; Willems, M
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
D
Dieter Fensel
H 指数: 67 · 论文数: 632
F
Frank van Harmelen
H 指数: 64 · 论文数: 498
M
Mark E. T. Willems
H 指数: 28 · 论文数: 230
J
Johannes Kloibhofer
H 指数: 2 · 论文数: 13
V
Valentina Trucco Dalmas
H 指数: 1 · 论文数: 3
查看更多