135 citations · 329 across the 25 of their papers we have counts for
3 papers · 1 filter
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin
Efficient omission of symmetric solution candidates is essential for combinatorial problem-solving. Most of the existing approaches are instance-specific and focus on the automatic…
Aggregate Semantics for Propositional Answer Set Programs
Mario Alviano, Wolfgang Faber, Martin Gebser
Answer Set Programming (ASP) emerged in the late 1990ies as a paradigm for Knowledge Representation and Reasoning. The attractiveness of ASP builds on an expressive high-level mode…
A Reinforcement Learning Environment For Job-Shop Scheduling
Pierre Tassel, Martin Gebser, Konstantin Schekotihin
Scheduling is a fundamental task occurring in various automated systems applications, e.g., optimal schedules for machines on a job shop allow for a reduction of production costs a…