Publikation: A Model-Oriented Approach for Lifting S...
Stammdaten
Titel: | A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming |
Untertitel: | |
Kurzfassung: | Writing correct models for combinatorial problems is relatively straightforward; however, they must be efficient to be usable with instances producing many solution candidates. In this work, we aim to automatically generalise the discarding of symmetric solutions of Answer Set Programming instances, improving the efficiency of the programs with first-order constraints derived from propositional symmetry-breaking constraints. |
Schlagworte: | Search and Optimization Knowledge Representation and Reasoning Machine Learning |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 23.07.2022 (Online) |
Erschienen in: |
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)
(
International Joint Conferences on Artificial Intelligence;
L. de Raedt
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 5875 - 5876 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 23.07.2022 |
ISBN (e-book): |
|
eISSN: | - |
DOI: | http://dx.doi.org/10.24963/ijcai.2022/840 |
Homepage: | https://www.ijcai.org/proceedings/2022/840 |
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
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(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: |
|
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden