Martin Gebser
Martin Gebser
University of Klagenfurt / Graz University of Technology
Bestätigte E-Mail-Adresse bei aau.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Conflict-driven answer set solving: From theory to practice
M Gebser, B Kaufmann, T Schaub
Artificial Intelligence 187, 52-89, 2012
7862012
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
5212012
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
5112011
clasp: A conflict-driven answer set solver
M Gebser, B Kaufmann, A Neumann, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
3762007
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
2812014
Gringo: A new grounder for answer set programming
M Gebser, T Schaub, S Thiele
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
2422007
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1652011
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
1532008
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
1482016
The second answer set programming competition
M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
1412009
Constraint answer set solving
M Gebser, M Ostrowski, T Schaub
International Conference on Logic Programming, 235-249, 2009
1382009
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1222012
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
1162007
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
1142016
Conflict-Driven Disjunctive Answer Set Solving.
C Drescher, M Gebser, T Grote, B Kaufmann, A König, M Ostrowski, ...
KR 8, 422-432, 2008
1072008
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
1052011
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
982008
A meta-programming technique for debugging answer-set programs.
M Gebser, J Pührer, T Schaub, H Tompits
AAAI 8, 448-453, 2008
962008
Repair and prediction (under inconsistency) in large biological networks with answer set programming
M Gebser, C Guziolowski, M Ivanchev, T Schaub, A Siegel, S Thiele, ...
Twelfth International Conference on the Principles of Knowledge …, 2010
932010
The Conflict-Driven Answer Set Solver clasp: Progress Report
M Gebser, B Kaufmann, T Schaub
International conference on logic programming and nonmonotonic reasoning …, 2009
932009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20