Cited in
(14)- Rough set reasoning using answer set programs
- Modularity aspects of disjunctive stable models
- ASSAT
- DLV
- Lparse
- ROSoClingo
- SpySMAC
- lp2normal
- DLPEQ
- lpeq
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- SMProbLog
- Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination
- Solving problems in the polynomial hierarchy with ASP(Q)
This page was built for software: ASPTools
