Publikation: Lazy Grounding for Dynamic Configuratio...
Stammdaten
Titel: | Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP |
Untertitel: | |
Kurzfassung: | State-of-the-art ASP systems are 2-phased: first they ground the input program and then they solve the variable-free ground program. This may increase the size of the input program even exponentially, making ASP infeasible for many practical applications. Lazy grounding, as in the recent Alpha ASP system, interleaves grounding and solving to avoid this so-called grounding bottleneck. Alpha demonstrates, for the first time in lazy grounding, efficient solving capabilities also for larger problems. The DynaCon research project addresses issues of dynamic reconfiguration in cyber-physical systems, a novel emerging application domain of ASP. Alpha is a promising start for such large-scale systems that need continuous reconfiguration to adapt to a changing environment. |
Schlagworte: | Lazy grounding; Answer set programming; Logic programming; Nonmonotonic reasoning |
Publikationstyp: | Beitrag in Zeitschrift (Autorenschaft) |
Erscheinungsdatum: | 2018 (Online) |
Erschienen in: |
KI - Künstliche Intelligenz
KI - Künstliche Intelligenz
(
Springer;
)
zur Publikation |
Titel der Serie: | KI |
Bandnummer: | - |
Heftnummer: | 32 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 197 - 198 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 2018 |
ISBN (e-book): | - |
eISSN: | 1610-1987 |
DOI: | - |
Homepage: | https://link.springer.com/article/10.1007%2Fs13218-018-0536-x |
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 |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
Technische Universität Wien
|
AT - 1040 Wien |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: |
|
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |