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

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

Authors: Fang-Fang Liu, Jia-Huai You 

Publication date: 14 March 2024

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

Mathematics Subject Classification ID

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

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)