Pages that link to "Item:Q4593015"
From MaRDI portal
The following pages link to Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with<i>IDP3</i> (Q4593015):
Displaying 10 items.
- IDP3 (Q34727) (← links)
- Learning decision trees with flexible constraints and objectives using integer optimization (Q2011578) (← links)
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- Stable-unstable semantics: Beyond NP with normal logic programs (Q4593043) (← links)
- The KB paradigm and its application to interactive configuration (Q4593081) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5020979) (← links)