Spencer Killen

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships

Approximation fixpoint theory (AFT) is a robust and popular mathematical framework that characterizes many nonmonotonic semantics, where the construction of stable fixpoints, called stable revision, play a central role. Nondeterministic AFT is a recent development that redefines AFT for a nondeter…