Cited in
(24)- The KB paradigm and its application to interactive configuration
- AALpy
- The Seventh Answer Set Programming Competition: Design and Results
- Shared aggregate sets in answer set programming
- Knowledge representation analysis of graph mining
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- DLV
- Lparse
- libalf
- WASP
- OpenRuleBench
- ROSoClingo
- FLORA
- RALib
- MuACOsm
- miniKanren
- IDP
- lp2normal
- DLV2
- OMiGA
- DeepLog
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Stable-unstable semantics: Beyond NP with normal logic programs
- Learning decision trees with flexible constraints and objectives using integer optimization
This page was built for software: IDP3
