logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
T

Torsten Schaub

university of arkansas fayetteville

47H-index
455Paper Count
8.5KCitation Count
Published Papers 11
Publication Date
logo
ANTHEM 2.0: Automated Reasoning for Answer Set Programming
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
errShare
errSave
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
errShare
errSave
Gelfond-Zhang aggregates as propositional formulas
errartificial intelligence review
IF4.6
err2019-09-01
err4
errOAAI
errCabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
A consistency-based approach for belief change
errartificial intelligence review
IF4.6
err2003-12-01
err34
PREAI
errDelgrande, JP; Schaub, T
errShare
errSave
Alternative foundations for Reiter's default logic
errartificial intelligence review
IF4.6
err2000-11-01
err8
errOAAI
errLinke, T; Schaub, T
errShare
errSave
Expressing preferences in default logic
errartificial intelligence review
IF4.6
err2000-10-01
err35
errOAAI
errDelgrande, JP; Schaub, T
errShare
errSave
Prolog technology for default reasoning:: proof theory and compilation techniques
errartificial intelligence review
IF4.6
err1998-11-01
err6
PREAI
errSchaub, T; Brüning, S
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
H
Holger H. Hoos
H-index: 70 · Papers: 381
K
Kevin Leyton‐Brown
H-index: 52 · Papers: 265
V
Vladimir Lifschitz
H-index: 50 · Papers: 252
M
Martin Gebser
H-index: 37 · Papers: 210
G
Gerhard Brewka
H-index: 36 · Papers: 167
View more