Moviola

swMATH27497MaRDI QIDQ39213FDOQ39213

Author name not available (Why is that?)

Described by source

• Moviola: interpreting dynamic logic programs via multi-shot answer set programming

Cited In (2)

• Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
• Multi-shot ASP solving with clingo

This page was built for software: Moviola