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

Heng Zhang, Mingsheng Ying
七月 2010
引用 DOI URL
类型
期刊文章
出版物
Proceedings of the AAAI Conference on Artificial Intelligence
应明生
应明生
教授