circ2dlp

swMATH33091MaRDI QIDQ44800FDOQ44800

Author name not available (Why is that?)

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