Decidable fragments of first-order language under stable model semantics and circumscription

Hits:

Journal:AAAI 2010

All the Authors:Heng Zhang, Mingsheng Ying

First Author:Heng Zhang, Mingsheng Ying

Indexed by:Unit Twenty Basic Research

Correspondence Author:Heng Zhang

Translation or Not:no