Gebser, Martin

14 publications

AAAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law

MLJ 2022 Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

IJCAI 2021 Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

IJCAI 2018 Evaluation Techniques and Systems for Answer Set Programming: A Survey Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub

JAIR 2017 The Sixth Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

IJCAI 2016 From Non-Convex Aggregates to Monotone Aggregates in ASP Mario Alviano, Wolfgang Faber, Martin Gebser

IJCAI 2016 Knowledge-Based Sequence Mining with ASP Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub

AAAI 2016 What's Hot in the Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

IJCAI 2013 Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser, Benjamin Kaufmann, Torsten Schaub

AAAI 2013 Domain-Specific Heuristics in Answer Set Programming Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko

IJCAI 2011 Finite Model Computation via Answer Set Programming Martin Gebser, Orkunt Sabuncu, Torsten Schaub

AAAI 2008 A Meta-Programming Technique for Debugging Answer-Set Programs Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits

IJCAI 2007 Conflict-Driven Answer Set Solving Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

AAAI 2006 Elementary Sets of Logic Programs Martin Gebser, Joohyung Lee, Yuliya Lierler