IDP3
From MaRDI portal
Software:34727
swMATH22941MaRDI QIDQ34727FDOQ34727
Author name not available (Why is that?)
Cited In (8)
- Knowledge representation analysis of graph mining
- Stable-unstable semantics: Beyond NP with normal logic programs
- Efficiently Coupling the I-DLV Grounder with ASP Solvers
- Learning decision trees with flexible constraints and objectives using integer optimization
- The Seventh Answer Set Programming Competition: Design and Results
- Title not available (Why is that?)
- The KB paradigm and its application to interactive configuration
- Shared aggregate sets in answer set programming
This page was built for software: IDP3