科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
返回
T
Tobias Kaminski
Technische Universitat Wien
8
H指数
24
论文数
148
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
ASP-FZN: A Translation-Based Constraint Answer Set Solver
ASP-FZN: 一个基于翻译的约束答案集求解器
THEORY AND PRACTICE OF LOGIC PROGRAMMING
IF
1.1
2025-09-01
0
OA
AI
Eiter, Thomas; Geibinger, Tobias; Musliu, Nysret; Oetsch, Johannes; Kaminski, Tobias
分享
收藏
Pruning external minimality checking for answer set programs using semantic dependencies
artificial intelligence review
IF
4.6
2021-01-01
2
OA
AI
Eiter, Thomas; Kaminski, Tobias
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
T
Thomas Eiter
H 指数: 61 · 论文数: 555
N
Nysret Musliu
H 指数: 22 · 论文数: 167
J
Johannes Oetsch
H 指数: 14 · 论文数: 56
T
Tobias Geibinger
H 指数: 5 · 论文数: 32
已加载全部