Content: Publications

Publications by Martin Gebser

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)

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)

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)

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)

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)

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, 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, 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)

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, 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)

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)