modopt

MaRDI QIDQ44799swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_66

Described by source

• Removing Redundancy from Answer Set Programs

Cited in

(2)

• Cumulativity Tailored for Nonmonotonic Reasoning
• Lpopt

This page was built for software: modopt