ASPTools
From MaRDI portal
Software:44798
No author found.
Related Items (5)
Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination ⋮ Solving problems in the polynomial hierarchy with ASP(Q) ⋮ Unnamed Item ⋮ Rough set reasoning using answer set programs ⋮ Modularity Aspects of Disjunctive Stable Models
This page was built for software: ASPTools
