Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
Logic in Computer Science
2023-12-13 v2 Artificial Intelligence
Abstract
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.
Keywords
Cite
@article{arxiv.2302.04664,
title = {Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs},
author = {Christian Antić},
journal= {arXiv preprint arXiv:2302.04664},
year = {2023}
}