Paper ID: 2302.04664

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

Christian Antić

This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.

Submitted: Jan 20, 2023