Publication: Lifting Symmetry Breaking Constraints w...
Master data
Title: | Lifting Symmetry Breaking Constraints with Inductive Logic Programming |
Subtitle: | (Extended Abstract) |
Abstract: | Our work addresses the generation of first-order constraints to reduce symmetries and improve the solving performance for classes of instances of a given combinatorial problem. To this end, we devise a model-oriented approach obtaining positive and negative examples for an Inductive Logic Programming task by analyzing instance-specific symmetries for a training set of instances. The learned first-order constraints are interpretable and can be used to augment a general problem encoding in Answer Set Programming. This extented abstract introduces the context of our work, contributions and results |
Keywords: |
Publication type: | Abstract (Authorship) |
Publication date: | 03.08.2022 (Online) |
Published by: |
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
(
International Joint Conferences on Artificial Intelligence;
)
to publication |
Title of the series: | - |
Volume number: | - |
Issue: | - |
First publication: | Yes |
Version: | - |
Page: | pp. 1 - 2 |
Versionen
Keine Version vorhanden |
Publication date: | 03.08.2022 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | https://kr2022.cs.tu-dortmund.de/papers/rpr/KR_2022_paper_275.pdf |
Open access |
|
Assignment
Organisation | Address | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Categorisation
Subject areas | |
Research Cluster | No research Research Cluster selected |
Peer reviewed |
|
Publication focus |
Classification raster of the assigned organisational units:
|
working groups |
|
Cooperations
Research activities
Projects: | No related projects |
Publications: | No related publications |
Events: | No related events |
Lectures: |
|