A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.

Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

Browse the full AAAI paper archive.