Computing General First-Order Parallel and Prioritized Circumscription.

Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang

Browse the full AAAI paper archive.