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
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3
- What is answer set programming to propositional satisfiability
- Expressive power and abstraction in Essence
This page was built for software: IDP
