Cited in
(12)- Synonymous theories and knowledge representations in answer set programming
- Formalising the Fisherman's Folly puzzle
- Coala
- CCalc
- Cplus2ASP
- Representing first-order causal theories by logic programs
- Reformulating action language \(\mathcal{C}+\) in answer set programming
- Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
- Representing the language of the causal calculator in answer set programming
- System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
- A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
- Complexity and compilation of GZ-aggregates in answer set programming
This page was built for software: f2lp
