Picture for Jia-huai You

Jia-huai You

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

Add code
May 28, 2021
Viaarxiv icon