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

DOI10.1007/978-3-030-31095-0_8MaRDI QIDQ6488959FDOQ6488959

Fang-Fang Liu, Jia-Huai You

Publication date: 14 March 2024

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

This page was built for publication: Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488959)