Vortrag: Lifting Symmetry Breaking Constraints with Inductive Logic Programmin...
Stammdaten
Titel: | Lifting Symmetry Breaking Constraints with Inductive Logic Programming |
Beschreibung: | 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. |
Schlagworte: |
Typ: | Angemeldeter Vortrag |
Homepage: | https://easychair.org/smart-program/FLoC2022/KR-2022-08-03.html#talk:198885 |
Veranstaltung: | 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 (Haifa) |
Datum: | 03.08.2022 |
Vortragsstatus: | stattgefunden (Präsenz) |
Beteiligte
Alice Tarzariol (intern) |
|
Martin Gebser (intern) |
|
Konstantin Schekotihin (intern) |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
TeilnehmerInnenkreis |
|
Publiziert? |
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen |
|
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge | Keine verknüpften Vorträge vorhanden |