Cite
HARVARD Citation
LIU, F. et al. (2022). Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. Theory and practice of logic programming. 22 (2), pp. 305-334. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
LIU, F. et al. (2022). Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. Theory and practice of logic programming. 22 (2), pp. 305-334. [Online].