Torsten Schaub
TitleCited byYear
Potassco: The Potsdam answer set solving collection
M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M Schneider
Ai Communications 24 (2), 107-124, 2011
4432011
Conflict-driven answer set solving.
M Gebser, B Kaufmann, A Neumann, T Schaub
IJCAI 7, 386-392, 2007
4182007
Answer set solving in practice
M Gebser, R Kaminski, B Kaufmann, T Schaub
Synthesis lectures on artificial intelligence and machine learning 6 (3), 1-238, 2012
4032012
clasp: A conflict-driven answer set solver
M Gebser, B Kaufmann, A Neumann, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
3382007
Conflict-driven answer set solving: From theory to practice
M Gebser, B Kaufmann, T Schaub
Artificial Intelligence 187, 52-89, 2012
2912012
Gringo: A new grounder for answer set programming
M Gebser, T Schaub, S Thiele
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
2182007
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
2092014
A framework for compiling preferences in logic programs
JP Delgrande, T Schaub, H Tompits
Theory and Practice of Logic Programming 3 (2), 129-187, 2003
1502003
A classification and survey of preference handling approaches in nonmonotonic reasoning
J Delgrande, T Schaub, H Tompits, K Wang
Computational Intelligence 20 (2), 308-334, 2004
1492004
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1442011
Engineering an incremental ASP solver
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
International Conference on Logic Programming, 190-205, 2008
1392008
Alternative approaches to default logic
JP Delgrande, T Schaub, WK Jackson
Artificial Intelligence 70 (1-2), 167-237, 1994
1331994
Constraint answer set solving
M Gebser, M Ostrowski, T Schaub
International Conference on Logic Programming, 235-249, 2009
1322009
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1282013
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
arXiv preprint arXiv:1911.04326, 2019
1252019
Inconsistency tolerance
L Bertossi, A Hunter, T Schaub
Springer, 2005
1162005
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1082008
The first answer set programming system competition
M Gebser, L Liu, G Namasivayam, A Neumann, T Schaub, M Truszczyński
International Conference on Logic Programming and Nonmonotonic Reasoning, 3-17, 2007
1062007
Conflict-Driven Disjunctive Answer Set Solving.
C Drescher, M Gebser, T Grote, B Kaufmann, A König, M Ostrowski, ...
KR 8, 422-432, 2008
1022008
Detecting inconsistencies in large biological networks with answer set programming
M Gebser, T Schaub, S Thiele, P Veber
Theory and Practice of Logic Programming 11 (2-3), 323-360, 2011
902011
The system can't perform the operation now. Try again later.
Articles 1–20