Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems
Spencer Killen, Jia-Huai You
A wide variety of nonmonotonic semantics can be expressed as approximators defined under AFT (Approximation Fixpoint Theory). Using traditional AFT theory, it is not possible to de…
cs.AI2022
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
Spencer Killen, Jia-Huai You
The logic of hybrid MKNF (minimal knowledge and negation as failure) is a powerful knowledge representation language that elegantly pairs ASP (answer set programming) with ontologi…