Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

Tran Cao Son, Enrico Pontelli, Phan Huy Tu. Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res. (JAIR), 29:353-389, 2007. [doi]

Abstract

Abstract is missing.