Progression Semantics for Disjunctive Logic Programs.

Yi Zhou, Yan Zhang

Browse the full AAAI paper archive.