ASPTools

swMATH33089MaRDI QIDQ44798FDOQ44798

Author name not available (Why is that?)

Cited In (5)

• Rough set reasoning using answer set programs
• Title not available (Why is that?)
• Modularity Aspects of Disjunctive Stable Models
• 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