Cplus2ASP

swMATH9897MaRDI QIDQ21876FDOQ21876

Author name not available (Why is that?)

Cited In (4)

• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
• Representing the language of the causal calculator in answer set programming
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers

This page was built for software: Cplus2ASP