Lazy Grounding for Dynamic Configuration

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Standard

Lazy Grounding for Dynamic Configuration. / Eiter, Thomas; Friedrich, Gerhard; Taupe, Richard; Weinzierl, Antonius.

julkaisussa: KUENSTLICHE INTELLIGENZ, Vuosikerta 32, Nro 2-3, 08.2018, s. 197–198.

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Harvard

Eiter, T, Friedrich, G, Taupe, R & Weinzierl, A 2018, 'Lazy Grounding for Dynamic Configuration', KUENSTLICHE INTELLIGENZ, Vuosikerta. 32, Nro 2-3, Sivut 197–198. https://doi.org/10.1007/s13218-018-0536-x

APA

Eiter, T., Friedrich, G., Taupe, R., & Weinzierl, A. (2018). Lazy Grounding for Dynamic Configuration. KUENSTLICHE INTELLIGENZ, 32(2-3), 197–198. https://doi.org/10.1007/s13218-018-0536-x

Vancouver

Eiter T, Friedrich G, Taupe R, Weinzierl A. Lazy Grounding for Dynamic Configuration. KUENSTLICHE INTELLIGENZ. 2018 elo;32(2-3):197–198. https://doi.org/10.1007/s13218-018-0536-x

Author

Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius. / Lazy Grounding for Dynamic Configuration. Julkaisussa: KUENSTLICHE INTELLIGENZ. 2018 ; Vuosikerta 32, Nro 2-3. Sivut 197–198.

Bibtex - Lataa

@article{ee9a2034067b4a0ea6c3985ba3f0488b,
title = "Lazy Grounding for Dynamic Configuration",
abstract = "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.",
keywords = "Lazy grounding, Answer set programming, Logic programming, Nonmonotonic reasoning",
author = "Thomas Eiter and Gerhard Friedrich and Richard Taupe and Antonius Weinzierl",
year = "2018",
month = "8",
doi = "10.1007/s13218-018-0536-x",
language = "English",
volume = "32",
pages = "197–198",
journal = "KUENSTLICHE INTELLIGENZ",
issn = "0933-1875",
number = "2-3",

}

RIS - Lataa

TY - JOUR

T1 - Lazy Grounding for Dynamic Configuration

AU - Eiter, Thomas

AU - Friedrich, Gerhard

AU - Taupe, Richard

AU - Weinzierl, Antonius

PY - 2018/8

Y1 - 2018/8

N2 - 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.

AB - 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.

KW - Lazy grounding

KW - Answer set programming

KW - Logic programming

KW - Nonmonotonic reasoning

U2 - 10.1007/s13218-018-0536-x

DO - 10.1007/s13218-018-0536-x

M3 - Article

VL - 32

SP - 197

EP - 198

JO - KUENSTLICHE INTELLIGENZ

JF - KUENSTLICHE INTELLIGENZ

SN - 0933-1875

IS - 2-3

ER -

ID: 21593710