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

DOI10.1007/978-3-319-61660-5_30zbMath1491.68048OpenAlexW2724940431MaRDI QIDQ2401952

Orkunt Sabuncu, João Leite

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_30

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (2)

Multi-shot ASP solving with clingo ⋮ Moviola

Uses Software

• Clingo

This page was built for publication: Moviola: interpreting dynamic logic programs via multi-shot answer set programming