Search Results for author:
Found 3 papers, 0 papers with code
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
A wide variety of nonmonotonic semantics can be expressed as approximators defined under AFT (Approximation Fixpoint Theory).
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
The question arises as to whether the semantics of disjunctive hybrid MKNF knowledge bases can be characterized using fixpoint constructions with head-cuts.
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases
In this work, we build towards improving solvers for hybrid MKNF knowledge bases with disjunctive rules: We formalize a notion of unfounded sets for these knowledge bases, identify lower complexity bounds, and demonstrate how we might integrate these developments into a solver.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
