Martin Gebser

Potassco: The Potsdam Answer Set Solving Collection

Martin Gebser, Benjamin Kaufmann, Roland Kaminski et al. · AI Communications · 2011 · 471 citations

Computing, Computer Science, Algorithms +8

Conflict-driven answer set solving: From theory to practice

Martin Gebser, Benjamin Kaufmann, Torsten Schaub · Artificial Intelligence · 2012 · 322 citations

Social Sciences, Conflict Studies, Conflict Analysis +8

Conflict-driven answer set solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub · 2007 · 296 citations

Computing, Computer Science, Algorithms +13

Answer Set Solving in Practice

Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · Synthesis lectures on artificial intelligence and machine learning · 2012 · 292 citations

Computing, Computer Science, Algorithms +10

Theory Solving Made Easy with Clingo 5

Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 147 citations · Full text

Computing, Computer Science, Algorithms +13