Honors

I serve the scientific community as an area editor for the electronic newsletter of the Association for Logic Programming, program chair of doctoral consortia as well as research workshops and system competition chair. I've been a member of the winning teams of several (on-site) declarative programming contests as well as (remote) solving system competitions. Some of the papers I co-authored were awarded or nominated for fast tracks at conferences or journals. Last but not least, I am grateful to the supervisors and referees of my doctoral dissertation and my diploma thesis, which received the top grades "with distinction" or "excellent", respectively. Further details on the mentioned activities are given below.

Area Editor:
Program Chair:
Competition Chair:
Programming Contests:
  • First place in the 20th Prolog Programming Contest at the 29th International Conference on Logic Programming (ICLP 2013); jointly with Stefan Ellmauthaler and Claudia Schulz
  • First place in the 2nd LP/CP Programming Contest at the 32nd International Conference on Logic Programming (ICLP 2016); jointly with Mario Alviano
  • First place in the 4th LP/CP Programming Contest at the 34th International Conference on Logic Programming (ICLP 2018); jointly with Markus Hecher and Johannes Fichte
System Competitions:
Distinguished Papers:
  • Martin Gebser and Torsten Schaub: "Tableau Calculi for Answer Set Programming". Proceedings of the 22nd International Conference on Logic Programming (ICLP 2006), pp. 11–25
    • Best Paper Award of the 22nd International Conference on Logic Programming (ICLP 2006)
  • Martin Gebser, Orkunt Sabuncu and Torsten Schaub: "An Incremental Answer Set Programming Based System for Finite Model Computation". Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), pp. 169–181
    • Best Papers from Sister Conferences Track at the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)
  • Martin Gebser, Benjamin Kaufmann and Torsten Schaub: "Conflict-Driven Answer Set Solving: From Theory to Practice". Artificial Intelligence, volume 187 (2012), pp. 52–89
    • Computing Reviews' Notable Computing Books and Articles of 2012
    • Artificial Intelligence Journal (AIJ) Prominent Paper Award 2018
  • Mario Alviano, Wolfgang Faber and Martin Gebser: "Rewriting recursive aggregates in answer set programming: back to monotonicity". Theory and Practice of Logic Programming, volume 15:4-5 (Proceedings of the 31st International Conference on Logic Programming (ICLP 2015) Special Issue), pp. 559–573
    • Best Papers from Sister Conferences Track at the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
  • Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero and Torsten Schaub: "plasp 3: Towards Effective ASP Planning". Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), pp. 286–300
    • Rapid Publications Track of Theory and Practice of Logic Programming
  • Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub: "Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming". Theory and Practice of Logic Programming, volume 18:3-4 (Proceedings of the 34th International Conference on Logic Programming (ICLP 2018) Special Issue), pp. 520–534
    • Best Student Paper Award of the 34th International Conference on Logic Programming (ICLP 2018)
Doctoral Dissertation:
Diploma Thesis:

Data Protection Policy
Last modified on 21 September 2018