Algebraic characterization of logic programs has received increasing
att...
In this paper, we introduce methods of encoding propositional logic prog...
Knowledge Representation and Reasoning and Machine Learning are two impo...
Publishing private data on external servers incurs the problem of how to...