Publication: A Model-Oriented Approach for Lifting S...
Master data
Title: | A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming |
Subtitle: | |
Abstract: | 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. |
Keywords: | Search and Optimization Knowledge Representation and Reasoning Machine Learning |
Publication type: | Article in Proceedings (Authorship) |
Publication date: | 23.07.2022 (Online) |
Published by: |
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
)
to publication |
Title of the series: | - |
Volume number: | - |
First publication: | Yes |
Version: | - |
Page: | pp. 5875 - 5876 |
Versionen
Keine Version vorhanden |
Publication date: | 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 |
|
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
No partner organisations selected
Research activities
All related research activities to this publication are shown here. With the link below, you can view them in the search view where you are also able to export them.
Show related search activities in search
Projects: | No related projects |
Publications: | No related publications |
Events: | No related events |
Lectures: |
|
Articles of the publication
No related publications