Lifting symmetry breaking constraints with inductive logic programming

DOI10.1007/S10994-022-06146-3MaRDI QIDQ2163186zbMATH OpenOpenAlexFDO

Authors Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

Publication date 10 August 2022

Published in Machine Learning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2112.11806

zbMATH Keywords

answer set programminginductive logic programmingsymmetry breaking constraints

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cites work

• A Novel Approach For Detecting Symmetries in CSP Models
• Answer set programming
• ASP-Core-2 input language format
• Automatic Detection of Variable and Value Symmetries
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Inductive learning of answer set programs
• Iterative learning of answer set programs from context dependent examples
• On local domain symmetry for model expansion
• Symmetry definitions for constraint satisfaction problems
• Symmetry in integer linear programming
• Symmetry-breaking answer set solving

Cited in

(3)

• Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
• Symbol grounding in neuro-symbolic AI: a gentle introduction to reasoning shortcuts
• Symbols and neurons: a review of symbolic XAI in deep learning

Describes a project that uses

Uses Software

• Aleph
• Metagol
• GitHub

This page was built for publication: Lifting symmetry breaking constraints with inductive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2163186)