Publications by Martin Gebser
Multi-shot {ASP} solving with clingo
Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)
plasp 3: Towards Effective ASP Planning
Article in Journal, in Theory and Practice of Logic Programming 3, pp. 477-504 (2018)
Experimenting with robotic intra-logistics domains
Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 502-519 (2018)
ASP-Based Time-Bounded Planning for Logistics Robots
the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS'18) (2018)
Answer Set Solving with Generalized Learned Constraints
Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)
Theory Solving Made Easy with Clingo 5
Thirty-second International Conference on Logic Programming (ICLP'16) (2016)
Knowledge-based Sequence Mining with ASP
Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)
Answer Set Programming Modulo Acyclicity
Eighth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'15) (2015)
Writing Declarative Specifications for Clauses
Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)
Grounding Recursive Aggregates: Preliminary Report
Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)
Answer Set Programming modulo Acyclicity
the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Shift Design with Answer Set Programming
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
ASP Solving for Expanding Universes
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Interactive Answer Set Programming: Preliminary Report
International Workshop on User-Oriented Logic Programming (IULP'15) (2015)
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)
Clingo = ASP + Control: Preliminary Report
Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)
Learning boolean logic models of signaling networks with asp
Theoretical Computer Science (2014)
Matchmaking with Answer Set Programming
Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)
Ricochet Robots: A transverse ASP benchmark.
Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)
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)
A system for interactive query answering with answer set programming
Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'13) (2013)
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)
Domain-specific Heuristics in Answer Set Programming
Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)