swMATH33089MaRDI QIDQ44798FDOQ44798
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/asptools/index.shtml
Cited In (13)
- Rough set reasoning using answer set programs
- Modularity aspects of disjunctive stable models
- Title not available (Why is that?)
- DLV
- Lparse
- ROSoClingo
- SpySMAC
- lp2normal
- DLPEQ
- lpeq
- 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
