Martin Gebser I received my diploma in Computer Science from the University of Potsdam in 2005. Currently, I am a PhD student under supervision of Torsten Schaub. My main research subject is Answer Set Programming, and in particular, Answer Set Solving. My research interests also include Nonmonotonic Reasoning, Logic Programming, Boolean Satisfiability, Constraint Programming, Proof Theory, etc. Besides being a PhD student, I am a teaching assistant at the department of Knowledge Processing and Information Systems, which is a part of the Institute for Computer Science at the University of Potsdam. This website provides my Contact information, a list of Selected Publications I have been involved in, and finally a small collection of Links.

Contact

Address:		Dipl.-Inform. Martin Gebser Universität Potsdam Institut für Informatik August-Bebel-Straße 89 D-14482 Potsdam Germany
Office:		03.04.2.11
Phone:		+49-331-977-3091
Fax:		+49-331-977-3122
Mail:

Selected Publications

• 2010
  • Martin Gebser, Torsten Grote, and Torsten Schaub: Coala: A Compiler from Action Languages to ASP. JELIA. [pdf] [bib]
  • Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, and Philippe Veber: Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. KR. [pdf] [bib]
  • Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, and Philippe Veber: The BioASP Library: ASP Solutions for Systems Biology. ICTAI. [pdf] [bib]
  • Martin Gebser, Orkunt Sabuncu, and Torsten Schaub: An Incremental Answer Set Programming Based System for Finite Model Computation. JELIA. [pdf] [bib]
  • Martin Gebser, Torsten Schaub, Sven Thiele, and Philippe Veber: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. TPLP. [pdf] [bib]

• 2009
  • Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, and Mirosław Truszczyński: The Second Answer Set Programming Competition. LPNMR. [pdf] [bib]
  • Enrico Ellguth, Martin Gebser, Markus Gusowski, Roland Kaminski, Benjamin Kaufmann, Stefan Liske, Torsten Schaub, Lars Schneidenbach, and Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR. [pdf] [bib]
  • Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub: Monotonic Answer Set Programming. LogCom. [pdf] [bib]
  • Martin Gebser, Henrik Hinrichs, Torsten Schaub, and Sven Thiele: xpanda: A (Simple) Preprocessor for Adding Multi-Valued Propositions to ASP. WLP. [pdf] [bib]
  • Martin Gebser, Roland Kaminiski, Benjamin Kaufmann, and Torsten Schaub: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP. [pdf] [bib]
  • Martin Gebser, Roland Kaminiski, Max Ostrowski, Torsten Schaub, and Sven Thiele: On the Input Language of ASP Grounder Gringo. LPNMR. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, and Torsten Schaub: Solution Enumeration for Projected Boolean Search Problems. CPAIOR. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, and Torsten Schaub: The Conflict-Driven Answer Set Solver clasp: Progress Report. LPNMR. [pdf] [bib]
  • Martin Gebser, Max Ostrowski, and Torsten Schaub: Constraint Answer Set Solving. ICLP. [pdf] [bib]
  • Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, and Torsten Schaub: Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. IJRC. [www] [bib]
  • Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, and Torsten Schaub: Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. LPNMR. [pdf] [bib]
  • Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub: Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI. [pdf] [bib]

• 2008
  • Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, and Torsten Schaub: Conflict-Driven Disjunctive Answer Set Solving. KR. [pdf] [bib]
  • Christian Drescher, Martin Gebser, Benjamin Kaufmann, and Torsten Schaub: Heuristics in Conflict Resolution. NMR. [pdf] [bib]
  • Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, and Sven Thiele: A Versatile Intermediate Language for Answer Set Programming: Syntax Proposal. Unpublished. [pdf] [bib]
  • Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, and Sven Thiele: A Versatile Intermediate Language for Answer Set Programming. NMR. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Sven Thiele: Engineering an Incremental ASP Solver. ICLP. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Sven Thiele: A User's Guide to gringo, clasp, clingo, and iclingo. Unpublished. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, Andre Neumann, and Torsten Schaub: Advanced Preprocessing for Answer Set Solving. ECAI. [pdf] [bib]
  • Martin Gebser, Jörg Pührer, Torsten Schaub, and Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI. [pdf] [bib]
  • Martin Gebser, Torsten Schaub, Hans Tompits, and Stefan Woltran: Alternative Characterizations for Program Equivalence under Answer-Set Semantics based on Unfounded Sets. FoIKS. [pdf] [bib]

• 2007
  • Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR. [pdf] [bib]
  • Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, and Stefan Woltran: "That is Illogical Captain!" - The Debugging Support Tool spock for Answer-Set Programs: System Description. SEA. [pdf] [bib]
  • Martin Gebser: Advanced Techniques for Answer Set Programming. ICLP Doctoral Consortium. [pdf] [bib]
  • Martin Gebser, Mona Gharib, and Torsten Schaub: Incremental Answer Sets and Their Computation. ASP. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, Andre Neumann, and Torsten Schaub: Conflict-Driven Answer Set Solving. IJCAI. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, Andre Neumann, and Torsten Schaub: Conflict-Driven Answer Set Enumeration. LPNMR. [pdf] [bib]
  • Martin Gebser, Benjamin Kaufmann, Andre Neumann, and Torsten Schaub: clasp: A Conflit-Driven Answer Set Solver. LPNMR. [pdf] [bib]
  • Martin Gebser, Joohyung Lee, and Yuliya Lierler: Head-Elementary-Set-Free Logic Programs. LPNMR. [pdf] [bib]
  • Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andre Neumann, Torsten Schaub, and Mirosław Truszczyński: The First Answer Set Programming System Competition. LPNMR. [pdf] [bib]
  • Martin Gebser and Torsten Schaub: Generic Tableaux for Answer Set Programming. ICLP. [pdf] [bib]
  • Martin Gebser, Torsten Schaub, and Sven Thiele: GrinGo: A New Grounder for Answer Set Programming. LPNMR. [pdf] [bib]

• 2006
  • Christian Anger, Martin Gebser, Tomi Janhunen, and Torsten Schaub: What's a head without a body? ECAI. [pdf] [bib]
  • Christian Anger, Martin Gebser, and Torsten Schaub: Approaching the Core of Unfounded Sets. NMR. [pdf] [bib]
  • Martin Gebser, Joohyung Lee, and Yuliya Lierler: Elementary Sets for Logic Programs. AAAI. [pdf] [bib]
  • Martin Gebser and Torsten Schaub: Characterizing ASP Inferences by Unit Propagation. LaSh. [pdf] [bib]
  • Martin Gebser and Torsten Schaub: Tableau Calculi for Answer Set Programming. ICLP. [pdf] [bib]

• 2005
  • Christian Anger, Martin Gebser, Thomas Linke, Andre Neumann, and Torsten Schaub: The nomore++ approach to answer set solving. LPAR. [pdf] [bib]
  • Christian Anger, Martin Gebser, Thomas Linke, Andre Neumann, and Torsten Schaub: The nomore++ System. LPNMR. [pdf] [bib]
  • Martin Gebser and Torsten Schaub: Loops: Relevant or Redundant? LPNMR. [pdf] [bib]
  • Martin Gebser: Backjumping and Learning in Answer Set Programming. Diploma thesis, University of Potsdam. [ps.gz]

Links

• ASP@Potsdam & More
  • Potassco (Potsdam Answer Set Solving Collection) project, including Clasp, Gringo, Clingo, iClingo, and more
  • 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
  • The Second Answer Set Programming Competition
  • Asparagus benchmarking platform
  • BioASP tools
  • Nomore++ solver
  • Platypus (distributed) solver
  • Spock debugging tool
  • Our annual ASP course (click Gast-Login to access the slides)

• More ASP solvers
  • ASPeRiX
  • ASPViz (answer set solving and visualization tool)
  • ASSAT
  • Cmodels
  • Csmodels (Smodels with criticality heuristic)
  • DLV
  • GASP
  • GidL+MidL (ID-Logic grounder+solver)
  • Lparse (grounder)
  • Pbmodels
  • Psmodels (solver for logic programs with ordered disjunction)
  • SAG
  • Smodels
  • Smodels_cc
  • Smodels-IE
  • The ones I forgot or am unaware of ;-)

• Communities
  • Association for Logic Programming (ALP)
  • Texas Action Group (TAG)
  • Working group on Answer Set Programming (WASP)

• Cool Stuff
  • ASPTOOLS: A Tool Collection for ASP by Tomi Janhunen
  • Benchmarks by Esra Erdem
  • Benchmarks and Systems by Martin Brain
  • Benchmark Problems for Answer Set Programming Systems by Mirek Truszczyński et al.
  • some Sudoku puzzles [zip] and their solutions [zip], generated from a disjunctive encoding using tools Gringo, Shuffle, ClaspD, and ASPViz
  • SAT Live! (Up-to-date links for the SATisfiability Problem)
  • DBLP Bibliography
  • Google
  • SCIgen
  • Wikipedia
  • myself trying to jump on ski in ABSOLUTPARK: jump-short.avi and jump-long.avi (each video about 20 MB)

• A magic dwells in each beginning ...