A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
From MaRDI portal
(Redirected from Publication:6182225)
Recommendations
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- Reasoning with inconsistencies in hybrid MKNF knowledge bases
Cites work
- A lattice-theoretical fixpoint theorem and its applications
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
- Conflict-driven answer set solving: from theory to practice
- Fixpoint semantics for logic programming a survey
- scientific article; zbMATH DE number 25192 (Why is no real title available?)
- scientific article; zbMATH DE number 67490 (Why is no real title available?)
- Local closed world reasoning with description logics under the well-founded semantics
- Propositional semantics for disjunctive logic programs
- Reconciling description logics and rules
- Three-valued semantics for hybrid MKNF knowledge bases revisited
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Well-founded operators for normal hybrid MKNF knowledge bases
This page was built for publication: A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6182225)
