The following pages link to IDP (Q35038):
Displaying 5 items.
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015) (← links)
- Debugging for Model Expansion (Q5325763) (← links)