Logic Programs with Abstract Constraint Atoms.

Victor W. Marek, Miroslaw Truszczynski

Browse the full AAAI paper archive.