Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

Open in new window