Sledovat
Torsten Schaub
Název
Citace
Citace
Rok
Conflict-driven answer set solving: From theory to practice
M Gebser, B Kaufmann, T Schaub
Artificial Intelligence 187, 52-89, 2012
9582012
Answer set solving in practice
M Gebser, R Kaminski, B Kaufmann, T Schaub
Springer Nature, 2022
8142022
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
6432011
clasp: A Conflict-Driven Answer Set Solver
M Gebser, B Kaufmann, A Neumann, T Schaub
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
4462007
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
4132014
Multi-shot ASP solving with clingo
M Gebser, R Kaminski, B Kaufmann, T Schaub
Theory and Practice of Logic Programming 19 (1), 27-82, 2019
3952019
Theory solving made easy with clingo 5
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, P Wanko
Technical Communications of the 32nd International Conference on Logic …, 2016
3202016
GrinGo: A New Grounder for Answer Set Programming
M Gebser, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
2732007
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
2482020
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
2162011
Autofolio: An automatically configured algorithm selector
M Lindauer, HH Hoos, F Hutter, T Schaub
Journal of Artificial Intelligence Research 53, 745-778, 2015
1922015
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
1822003
Engineering an incremental ASP solver
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1752008
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
1702004
Introduction to inconsistency tolerance
L Bertossi, A Hunter, T Schaub
Inconsistency Tolerance, 1-14, 2005
1672005
asprin: Customizing Answer Set Preferences without a Headache
G Brewka, J Delgrande, J Romero, T Schaub
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
1552015
Constraint answer set solving
M Gebser, M Ostrowski, T Schaub
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
1542009
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1532012
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1482008
Alternative approaches to default logic
JP Delgrande, T Schaub, WK Jackson
Artificial Intelligence 70 (1-2), 167-237, 1994
1471994
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20