swMATH9897MaRDI QIDQ21876FDOQ21876
Author name not available (Why is that?)
Official website: http://reasoning.eas.asu.edu/cplus2asp/
Cited In (8)
- Coala
- CCalc
- f2lp
- Lpopt
- 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
