Algebraic sematics for cumulative inference operations
Zbigniew Stachniak · National Conference on Artificial Intelligence · 1993
In this paper we propose preferential matrix semantics for nonmonotonic inference systems and show how this algebraic framework can be used in methodological studies of cumulative inference operations.