circ2dlp

MaRDI QIDQ44800swMATHFDO

Official website http://www.tcs.hut.fi/Software/circ2dlp/

Cited in

(1)

• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

This page was built for software: circ2dlp