Artykuły udostępnione publicznie: - Torsten SchaubWięcej informacji
Niedostępne w żadnym miejscu: 2
Hamiltonian cycle reconfiguration with answer set programming
T Hirate, M Banbara, K Inoue, XN Lu, H Nabeshima, T Schaub, T Soh, ...
European Conference on Logics in Artificial Intelligence, 262-277, 2023
Upoważnienia: Japan Science and Technology Agency
High-level synthesis of on-chip multiprocessor architectures based on answer set programming
C Bobda, F Yonga, M Gebser, H Ishebabi, T Schaub
Journal of Parallel and Distributed Computing 117, 161-179, 2018
Upoważnienia: US National Science Foundation, US Department of Defense, German Research …
Dostępne w jakimś miejscu: 146
Conflict-driven answer set solving: From theory to practice
M Gebser, B Kaufmann, T Schaub
Artificial Intelligence 187, 52-89, 2012
Upoważnienia: German Research Foundation
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
Upoważnienia: German Research Foundation
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
Upoważnienia: German Research Foundation
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
Upoważnienia: German Research Foundation
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
Upoważnienia: German Research Foundation
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
Upoważnienia: German Research Foundation
Autofolio: An automatically configured algorithm selector
M Lindauer, HH Hoos, F Hutter, T Schaub
Journal of Artificial Intelligence Research 53, 745-778, 2015
Upoważnienia: Natural Sciences and Engineering Research Council of Canada, German Research …
asprin: Customizing Answer Set Preferences without a Headache
G Brewka, J Delgrande, J Romero, T Schaub
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Upoważnienia: German Research Foundation
Constraint answer set solving
M Gebser, M Ostrowski, T Schaub
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
Upoważnienia: German Research Foundation
Unsatisfiability-based optimization in clasp
B Andres, B Kaufmann, O Matheis, T Schaub
Technical Communications of the 28th International Conference on Logic …, 2012
Upoważnienia: German Research Foundation
A meta-programming technique for debugging answer-set programs.
M Gebser, J Pührer, T Schaub, H Tompits
AAAI 8, 448-453, 2008
Upoważnienia: Austrian Science Fund
Domain-specific heuristics in answer set programming
M Gebser, B Kaufmann, J Romero, R Otero, T Schaub, P Wanko
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 350-356, 2013
Upoważnienia: German Research Foundation
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011
Upoważnienia: German Research Foundation
A portfolio solver for answer set programming: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub, MT Schneider, S Ziller
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
Upoważnienia: German Research Foundation
claspfolio 2: Advances in algorithm selection for answer set programming
H Hoos, M Lindauer, T Schaub
Theory and Practice of Logic Programming 14 (4-5), 569-585, 2014
Upoważnienia: German Research Foundation
Grounding and solving in answer set programming
B Kaufmann, N Leone, S Perri, T Schaub
AI magazine 37 (3), 25-32, 2016
Upoważnienia: German Research Foundation, Government of Italy
The Conflict-Driven Answer Set Solver clasp: Progress Report
M Gebser, B Kaufmann, T Schaub
International conference on logic programming and nonmonotonic reasoning …, 2009
Upoważnienia: German Research Foundation
Solution enumeration for projected Boolean search problems
M Gebser, B Kaufmann, T Schaub
Integration of AI and OR Techniques in Constraint Programming for …, 2009
Upoważnienia: German Research Foundation
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy