Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs

01/20/2023

∙

by   Christian Antic, et al.

∙

0

∙

share

This research note provides algebraic characterizations of equivalence with respect to the least model semantics, and of uniform equivalence of propositional Krom logic programs.