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
