Publikation: Lifting Symmetry Breaking Constraints w...
Stammdaten
Titel: | Lifting Symmetry Breaking Constraints with Inductive Logic Programming |
Untertitel: | (Extended Abstract) |
Kurzfassung: | 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: |
Publikationstyp: | Abstract (Autorenschaft) |
Erscheinungsdatum: | 03.08.2022 (Online) |
Erschienen in: |
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;
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Heftnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 1 - 2 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 03.08.2022 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | https://kr2022.cs.tu-dortmund.de/papers/rpr/KR_2022_paper_275.pdf |
Open Access |
|
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 |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: |
|