swMATH23254MaRDI QIDQ35038FDOQ35038
Author name not available (Why is that?)
Official website: https://dtai.cs.kuleuven.be/software/idp
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
