Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP

Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl. Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP. KI, 32(2-3):197-198, 2018. [doi]

Abstract

Abstract is missing.