Design space exploration with answer set programming
- The aim of our project design space exploration with answer set programming is to develop a general framework based on Answer Set Programming (ASP) that finds valid solutions to the system design problem and simultaneously performs Design Space Exploration (DSE) to find the most favorable alternatives. We leverage recent developments in ASP solving that allow for tight integration of background theories to create a holistic framework for effective DSE.
Verfasserangaben: | Christian HaubeltORCiD, Kai Neubauer, Torsten H. SchaubORCiDGND, Philipp WankoORCiD |
---|---|
DOI: | https://doi.org/10.1007/s13218-018-0530-3 |
ISSN: | 0933-1875 |
ISSN: | 1610-1987 |
Titel des übergeordneten Werks (Englisch): | Künstliche Intelligenz |
Verlag: | Springer |
Verlagsort: | Heidelberg |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Datum der Erstveröffentlichung: | 11.05.2018 |
Erscheinungsjahr: | 2018 |
Datum der Freischaltung: | 27.10.2021 |
Band: | 32 |
Ausgabe: | 2-3 |
Seitenanzahl: | 2 |
Erste Seite: | 205 |
Letzte Seite: | 206 |
Fördernde Institution: | Deutsche ForschungsgemeinschaftGerman Research Foundation (DFG) [SCHA 550/11-1] |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer Review: | Referiert |