Content: Publications

Publications by Martin Gebser

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Multi-shot {ASP} solving with clingo

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)

Yannis Dimopoulos, Martin Gebser, Patrick Lühne , Javier Romero, Torsten Schaub

plasp 3: Towards Effective ASP Planning

Article in Journal, in Theory and Practice of Logic Programming 3, pp. 477-504 (2018)

Martin Gebser, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Van Nguyen, Tran Cao Son

Experimenting with robotic intra-logistics domains

Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 502-519 (2018)

Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub

ASP-Based Time-Bounded Planning for Logistics Robots

the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS'18) (2018)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne , Torsten Schaub

Answer Set Solving with Generalized Learned Constraints

Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Martin Gebser, Thomas Guyet, Rene Quiniou, Javier Romero, Torsten Schaub

Knowledge-based Sequence Mining with ASP

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming Modulo Acyclicity

Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)

Martin Gebser, Tomi Janhunen, Torsten Schaub, Shahab Tasharrofi

Writing Declarative Specifications for Clauses

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Martin Gebser, Roland Kaminski, Torsten Schaub

Grounding Recursive Aggregates: Preliminary Report

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Answer Set Programming modulo Acyclicity

the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran

Shift Design with Answer Set Programming

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Progress in clasp Series 3

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

ASP Solving for Expanding Universes

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Philipp Obermeier, Torsten Schaub

Interactive Answer Set Programming: Preliminary Report

International Workshop on User-Oriented Logic Programming (IULP'15) (2015)

Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub

Ricochet Robots Reloaded: A Case-study in Multi-shot ASP Solving

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Clingo = ASP + Control: Preliminary Report

Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)

Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez , Torsten Schaub

Learning boolean logic models of signaling networks with asp

Theoretical Computer Science (2014)

Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub

Matchmaking with Answer Set Programming

Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Ricochet Robots: A transverse ASP benchmark.

Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele

Extending the metabolic network of ectocarpus siliculosus using answer set programming

Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Martin Gebser, Philipp Obermeier, Torsten Schaub

A system for interactive query answering with answer set programming

Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)

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

Aspartame: Solving constraint satisfaction problems with answer set programming

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)

Martin Gebser, Benjamin Kaufmann, Ramón Otero, Javier Romero, Torsten Schaub, Philipp Wanko

Domain-specific Heuristics in Answer Set Programming

Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)