21 citations · 66 across the 14 of their papers we have counts for
3 papers · 1 filter
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Alice Tarzariol, Martin Gebser, Mark Law +1
Many industrial applications require finding solutions to challenging combinatorial problems. Efficient elimination of symmetric solution candidates is one of the key enablers for…
Hierarchies of Reward Machines
Daniel Furelos-Blanco, Mark Law, Anders Jonsson +2
Reward machines (RMs) are a recent formalism for representing the reward function of a reinforcement learning task through a finite-state machine whose edges encode subgoals of the…
Neuro-Symbolic Learning of Answer Set Programs from Raw Data
Daniel Cunnington, Mark Law, Jorge Lobo +1
One of the ultimate goals of Artificial Intelligence is to assist humans in complex decision making. A promising direction for achieving this goal is Neuro-Symbolic AI, which aims…