Publikation: Learning to Break Symmetries for Effici...
Stammdaten
Titel: | Learning to Break Symmetries for Efficient Optimization in Answer Set Programming (Extended Abstract) |
Untertitel: | |
Kurzfassung: | |
Schlagworte: |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 12.09.2023 (Online) |
Erschienen in: |
Proceedings 39th International Conference on Logic Programming (ICLP 2023)
Proceedings 39th International Conference on Logic Programming (ICLP 2023)
(
Imperial College London;
E. Pontelli, S. Costantini, C. Dodaro, S. Gaggl, R. Calegari, A. D'Avila Garcez, F. Fabiano, A. Mileo, A. Russo, F. Toni
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 408 - 410 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 12.09.2023 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2023#EPTCS385.49 |
Open Access |
|
AutorInnen
Alice Tarzariol (intern) |
Martin Gebser (intern) |
Konstantin Schekotihin (intern) |
Mark Law (extern) |
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 |
|
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