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

Christian Antić

2023-12-12

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

Logic in Computer Science,Artificial Intelligence