Cited in
(11)- Expressive power and abstraction in Essence
- Debugging for Model Expansion
- Zinc
- ASPMT2SMT
- BEE
- IDP3
- GidL
- anthem
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- What is answer set programming to propositional satisfiability
- Relating constraint answer set programming languages and algorithms
This page was built for software: IDP
