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

DOI10.1017/s1471068421000168zbMath1530.68253arXiv2105.11071OpenAlexW3197479091MaRDI QIDQ6063882

Jia-Huai You, Fang-Fang Liu

Publication date: 12 December 2023

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.11071

zbMATH Keywords

logic programsdescription logicsapproximation fixpoint theoryinconsistencieshybrid MKNF knowledge basesanswer-set semantics

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Semi-equilibrium models for paracoherent answer set programs
• Approximating operators and semantics for abstract dialectical frameworks
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Local closed world reasoning with description logics under the well-founded semantics
• Grounded fixpoints and their applications in knowledge representation
• Chain-complete posets and directed sets with applications
• Fixpoint semantics for logic programming a survey
• Safe inductions and their applications in knowledge representation
• Three-valued semantics for hybrid MKNF knowledge bases revisited
• Fixpoint semantics for active integrity constraints
• Uniform semantic treatment of default and autoepistemic logics
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Localising iceberg inconsistencies
• A lattice-theoretical fixpoint theorem and its applications
• Hex Semantics via Approximation Fixpoint Theory
• Well-founded and stable semantics of logic programs with aggregates
• Reconciling description logics and rules
• The Semantics of Predicate Logic as a Programming Language
• Well-founded operators for normal hybrid MKNF knowledge bases
• Knowledge compilation of logic programs using approximation fixpoint theory
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Splitting an operator
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Quantified Equilibrium Logic and Foundations for Answer Set Programs

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