Login / Signup
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.
Alice Tarzariol
Martin Gebser
Konstantin Schekotihin
Mark Law
Published in:
AAAI (2023)
Keyphrases
</>
answer set programming
efficient optimization
learning algorithm
logic programming
supervised learning
logic programs
reinforcement learning
data model
active learning
learning problems
higher order
orders of magnitude
answer sets