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