Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.

Heng Zhang, Mingsheng Ying

Browse the full AAAI paper archive.