IDP
From MaRDI portal
Software:35038
swMATH23254MaRDI QIDQ35038FDOQ35038
Author name not available (Why is that?)
Cited In (5)
- Debugging for Model Expansion
- Relating constraint answer set programming languages and algorithms
- 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
