Παρακολούθηση
Martin Gebser
Martin Gebser
University of Klagenfurt
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aau.at - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Conflict-driven answer set solving: From theory to practice
M Gebser, B Kaufmann, T Schaub
Artificial Intelligence 187, 52-89, 2012
9502012
Answer set solving in practice
M Gebser, R Kaminski, B Kaufmann, T Schaub
Springer Nature, 2022
8102022
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
6382011
clasp: A Conflict-Driven Answer Set Solver
M Gebser, B Kaufmann, A Neumann, T Schaub
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
4492007
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
4102014
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
3892019
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
3182016
GrinGo: A New Grounder for Answer Set Programming
M Gebser, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
2692007
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
2432020
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
2112011
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
1732008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1712012
Constraint answer set solving
M Gebser, M Ostrowski, T Schaub
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
1552009
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1472016
The second answer set programming competition
M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
1472009
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
1262011
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1242008
A meta-programming technique for debugging answer-set programs.
M Gebser, J Pührer, T Schaub, H Tompits
AAAI 8, 448-453, 2008
1202008
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
1192015
The first answer set programming system competition
M Gebser, L Liu, G Namasivayam, A Neumann, T Schaub, M Truszczyński
Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007
1192007
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20