Vortrag: A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints i...

Stammdaten
Titel: A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming
Beschreibung:

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
Typ: Angemeldeter Vortrag
Homepage: https://www.ijcai.org/proceedings/2022/840
Veranstaltung: IJCAI-ECAI 2022, THE 31ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (Wien)
Datum: 25.07.2022
Vortragsstatus: stattgefunden (Präsenz)

Beteiligte
Alice Tarzariol
Alice.Tarzariol@aau.at
Institut für Artificial Intelligence und Cybersecurity
Forschungsaktivitäten
zur Visitenkarte
(intern)
  • Vortragende/r
  • AutorIn

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 1020 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Vortragsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
TeilnehmerInnenkreis
  • Überwiegend international
Publiziert?
  • Ja
Arbeitsgruppen
  • Adaptive und Vernetzte Produktionssysteme

Kooperationen
Keine Partnerorganisation ausgewählt