Moviola

MaRDI QIDQ39213swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_30

Described by source

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

Cited in

(9)

• Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
• LUPS
• plasp
• Harvey
• ArgueApply
• Catnap
• NoHR
• ActHEX
• Multi-shot ASP solving with clingo

This page was built for software: Moviola