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

DOI10.1007/978-3-319-61660-5_30MaRDI QIDQ2401952zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1890622
• Multi-shot ASP solving with clingo
• On properties of update sequences based on causal rejection
• A language for multi-dimensional updates
• Logic Programming and Nonmonotonic Reasoning

Cited in

(3)

• Moviola
• Ricochet Robots reloaded: a case-study in multi-shot ASP solving
• Multi-shot ASP solving with clingo

Describes a project that uses

Uses Software

• Clingo

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401952)