The Potsdam Answer Set Solving Collection 5.0

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

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

Abstract gringo

Martin Gebser, Amelia Harrison, Roland Kaminski et al. · Theory and Practice of Logic Programming · 2015 · 69 citations · Full text

Computing, Computer Science, Knowledge Representation +10

Grounding and Solving in Answer Set Programming

Benjamin Kaufmann, Nicola Leone, Simona Perri et al. · AI Magazine · 2016 · 67 citations · Full text

Computing, Computer Science, Algorithms +9

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

Martin Gebser, Roland Kaminski, Torsten Schaub · Electronic Proceedings in Theoretical Computer Science · 2011 · 35 citations · Full text

Computing, Computer Science, Knowledge Representation +6