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