Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.

Tran Cao Son, Enrico Pontelli, Phan Huy Tu

Browse the full AAAI paper archive.