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

Torsten Schaub

university of arkansas fayetteville

47H指数
455论文数
8.5K被引数
收录论文 11
发表时间
logo
ANTHEM 2.0: Automated Reasoning for Answer Set ProgrammingANTHEM 2.0: 答案集编程的自动化推理
errTHEORY AND PRACTICE OF LOGIC PROGRAMMING
IF1.1
err2025-09-01
err0
errOAAI
errFandinno, Jorge; Hansen, Zachary; Lierler, Yuliya; Glinzer, Christoph; Heuer, Jan; Schaub, Torsten; Stolzmann, Tobias; Lifschitz, Vladimir
err分享
err收藏
A general framework for preferences in answer set programming
errartificial intelligence review
IF4.6
err2023-12-01
err2
PREAI
errBrewka, Gerhard; Delgrande, James; Romero, Javier; Schaub, Torsten
err分享
err收藏
Gelfond-Zhang aggregates as propositional formulas
errartificial intelligence review
IF4.6
err2019-09-01
err4
errOAAI
errCabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
err分享
err收藏
High-level synthesis of on-chip multiprocessor architectures based on answer set programming
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2018-07-01
err4
PREAI
errBobda, Christophe; Yonga, Franck; Gebser, Martin; Ishebabi, Harold; Schaub, Torsten
err分享
err收藏
teaspoon: solving the curriculum-based course timetabling problems with answer set programming
errANNALS OF OPERATIONS RESEARCH
IF4.5
err2018-01-22
err20
PREAI
errBanbara, Mutsunori; Inoue, Katsumi; Kaufmann, Benjamin; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki; Wanko, Philipp
err分享
err收藏
Automatic construction of parallel portfolios via algorithm configuration通过算法配置自动构建并行投资组合
errartificial intelligence review
IF4.6
err2017-03-01
err24
errOAAI
errLindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten
err分享
err收藏
Conflict-driven answer set solving: From theory to practice
errartificial intelligence review
IF4.6
err2012-08-01
err240
errOAAI
errGebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
err分享
err收藏
A consistency-based approach for belief change
errartificial intelligence review
IF4.6
err2003-12-01
err34
PREAI
errDelgrande, JP; Schaub, T
err分享
err收藏
Alternative foundations for Reiter's default logic
errartificial intelligence review
IF4.6
err2000-11-01
err8
errOAAI
errLinke, T; Schaub, T
err分享
err收藏
Expressing preferences in default logic
errartificial intelligence review
IF4.6
err2000-10-01
err35
errOAAI
errDelgrande, JP; Schaub, T
err分享
err收藏
Prolog technology for default reasoning:: proof theory and compilation techniques默认推理的Prolog技术:: 证明理论和编译技术
errartificial intelligence review
IF4.6
err1998-11-01
err6
PREAI
errSchaub, T; Brüning, S
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
H
Holger H. Hoos
H 指数: 70 · 论文数: 381
K
Kevin Leyton‐Brown
H 指数: 52 · 论文数: 265
V
Vladimir Lifschitz
H 指数: 50 · 论文数: 252
M
Martin Gebser
H 指数: 37 · 论文数: 210
G
Gerhard Brewka
H 指数: 36 · 论文数: 167
查看更多