1 paper · 2 filters
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…