Moviola: interpreting dynamic logic programs via multi-shot answer set programming
From MaRDI portal
Publication:2401952
DOI10.1007/978-3-319-61660-5_30zbMath1491.68048OpenAlexW2724940431MaRDI QIDQ2401952
Publication date: 5 September 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_30
Related Items (2)
Uses Software
This page was built for publication: Moviola: interpreting dynamic logic programs via multi-shot answer set programming