AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Martin Gebser

Martin Gebser

Alpen Adria Universität Klagenfurt - Klagenfurt / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1394851
University of Klagenfurt
person_outline Martin Gebser's MOST POPULAR ARTICLES
1-) Conflict-driven answer set solving: From theory to practice Artificial Intelligence 187, 52-89, 2012
2-) Answer set solving in practice Springer Nature, 2022
3-) Potassco: The Potsdam answer set solving collection Ai Communications 24 (2), 107-124, 2011
4-) clasp: A Conflict-Driven Answer Set Solver International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
5-) Multi-shot ASP solving with clingo Theory and Practice of Logic Programming 19 (1), 27-82, 2019