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…