scientific article; zbMATH DE number 7793281

zbMath1528.68370arXiv2208.03087MaRDI QIDQ6182225

Jia-Huai You, Unnamed Author

Publication date: 23 January 2024

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Local closed world reasoning with description logics under the well-founded semantics
• Fixpoint semantics for logic programming a survey
• Three-valued semantics for hybrid MKNF knowledge bases revisited
• Conflict-driven answer set solving: from theory to practice
• Propositional semantics for disjunctive logic programs
• A lattice-theoretical fixpoint theorem and its applications
• Reconciling description logics and rules
• Well-founded operators for normal hybrid MKNF knowledge bases
• Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

This page was built for publication: