IDP

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