Lecture: Lifting Symmetry Breaking Constraints with Inductive Logic Programmin...

Master data
Title: Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Description:

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:
Type: Registered lecture
Homepage: https://easychair.org/smart-program/FLoC2022/KR-2022-08-03.html#talk:198885
Event: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 (Haifa)
Date: 03.08.2022
lecture status: stattgefunden (Präsenz)

Assignment
Organisation Address
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
To organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Categorisation
Subject areas
  • 1020 - Computer Sciences
Research Cluster No research Research Cluster selected
Focus of lecture
  • Science to Science (Quality indicator: I)
Classification raster of the assigned organisational units:
Group of participants
  • Mainly international
Published?
  • Yes
working groups
  • Adaptive und Vernetzte Produktionssysteme
  • Intelligente Systeme und Wirtschaftsinformatik

Cooperations
No partner organisations selected