Login

Publication

Detail

Publication date: 01/07/2017

moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming

Authors

Orkunt Sabuncu, João Leite,
URL https://doi.org/10.1007/978-3-319-61660-5_30
Publisher Springer
Series LNAI
Volume 10377
Address Espoo, Finland
URL https://doi.org/10.1007/978-3-319-61660-5_30
Publisher Springer
Series LNAI
Volume 10377
Address Espoo, Finland