Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases.

Spencer Killen, Jia-Huai You

Browse the full KR paper archive.