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

The AAAI Press
Publication Type:
Conference Proceeding
24th AAAI Conference on Artificial Intelligence 2010, 2010, pp. 375 - 380
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2010003123OK.pdf823.84 kB
Adobe PDF
The stable model semantics was recently generalized by Ferraris, Lee and Lifschitz to the full first-order language with a syntax translation approach that is very similar to McCarthy's circumscription. In this paper, we investigate the decidability and
Please use this identifier to cite or link to this item: