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

Alessandro Artale

Free University of Bozen-Bolzano

23H指数
131论文数
2.0K被引数
收录论文 3
发表时间
logo
An optimal pastification algorithm for LTL[X,F] and LTL[X,G]LTL[X,F]和LTL[X,G]的最优解析算法
errArtificial Intelligence
IF4.6
err2026-05-09
err0
errOAAI
errAlessandro Artale; Luca Geatti; Nicola Gigante; Alessio Mansutti; Andrea Mazzullo; Angelo Montanari
err分享
err收藏
First-order rewritability of ontology-mediated queries in linear temporal logic
errartificial intelligence review
IF4.6
err2021-10-01
err7
errOAAI
errArtale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael
err分享
err收藏
Describing database objects in a concept language environment
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err1996-04-01
err15
PREAI
errArtale, A; Cesarini, F; Soda, G
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Frank Wolter
H 指数: 56 · 论文数: 390
M
Michael Zakharyaschev
H 指数: 47 · 论文数: 295
R
Roman Kontchakov
H 指数: 31 · 论文数: 124
A
Angelo Montanari
H 指数: 31 · 论文数: 301
G
G. Soda
H 指数: 29 · 论文数: 201
查看更多