Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge Vrije Universiteit Brussel
of
nonmonotone operators. It was founded in order to unify semantics
of various non-monontic logics, in particular default logic (DL),
autoepistemic logic (AEL), and logic programming (LP).
Using AFT, one can obtain a family of semantics for any of these
logics by defining (only) a semantic operator: an operator that maps
...