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

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

Authors Fang-Fang Liu, Jia-Huai You

Publication date 14 March 2024

Mathematics Subject Classification ID

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

Recommendations

• Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
• Flexible approximators for approximating fixpoint theory
• Hex semantics via approximation fixpoint theory
• Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
• Ultimate approximation and its application in nonmonotonic knowledge representation systems

Cited in

(2)

• A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
• An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols

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)