Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Martin Gebser

Martin Gebser

University of Potsdam

Aggregate Semantics for Propositional Answer Set Programs


Sep 17, 2021
Mario Alviano, Wolfgang Faber, Martin Gebser

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

A Reinforcement Learning Environment For Job-Shop Scheduling


Apr 08, 2021
Pierre Tassel, Martin Gebser, Konstantin Schekotihin

* 7 pages, 4 figures, 1 table 

  Access Paper or Ask Questions

ASP-Core-2 Input Language Format


Nov 11, 2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub


  Access Paper or Ask Questions

The Seventh Answer Set Programming Competition: Design and Results


Apr 19, 2019
Martin Gebser, Marco Maratea, Francesco Ricca

* 28 pages 

  Access Paper or Ask Questions

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming


Apr 27, 2018
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018; 15 pages, LaTeX, 3 figures 

  Access Paper or Ask Questions

Experimenting with robotic intra-logistics domains


Apr 26, 2018
Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 8 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Multi-shot ASP solving with clingo


Mar 20, 2018
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

* Under consideration for publication in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Grounding Recursive Aggregates: Preliminary Report


Mar 12, 2016
Martin Gebser, Roland Kaminski, Torsten Schaub

* 21 pages, 7 figures, preliminary version appeared at GTTV'15 

  Access Paper or Ask Questions

Rewriting recursive aggregates in answer set programming: back to monotonicity


Jul 14, 2015
Mario Alviano, Wolfgang Faber, Martin Gebser

* Theory and Practice of Logic Programming 15 (2015) 559-573 

  Access Paper or Ask Questions

The Design of the Fifth Answer Set Programming Competition


Jun 03, 2014
Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca

* 10 pages 

  Access Paper or Ask Questions

A System for Interactive Query Answering with Answer Set Programming


Dec 20, 2013
Martin Gebser, Philipp Obermeier, Torsten Schaub

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming


Dec 20, 2013
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions

Answer Set Programming for Stream Reasoning


Jan 08, 2013
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 

  Access Paper or Ask Questions

Multi-threaded ASP Solving with clasp


Oct 11, 2012
Martin Gebser, Benjamin Kaufmann, Torsten Schaub

* 19 pages, 5 figures, to appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

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


Sep 01, 2011
Martin Gebser, Roland Kaminski, Torsten Schaub

* EPTCS 65, 2011, pp. 12-25 
* In Proceedings LoCoCo 2011, arXiv:1108.6097 

  Access Paper or Ask Questions

Complex Optimization in Answer Set Programming


Jul 28, 2011
Martin Gebser, Roland Kaminski, Torsten Schaub

* Theory and Practice of Logic Programming, 11(4-5), 821-839, 2011 
* 18 pages, 5 figures 

  Access Paper or Ask Questions

On Elementary Loops of Logic Programs


Jan 02, 2011
Martin Gebser, Joohyung Lee, Yuliya Lierler

* 36 pages, 2 figures 

  Access Paper or Ask Questions

Heuristics in Conflict Resolution


May 11, 2010
Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub

* Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (2008) 141-149 

  Access Paper or Ask Questions