Now showing items 1-1 of 1
Algorithms For Computing Prime Implicates Using Distributivity And Labelled Resolution In Modal Logic
(Dhirubhai Ambani Institute of Information and Communication Technology, 2017)
"Modal Logic is used for Knowledge Representation and Reasoning in many problems. Suppose we have a knowledge Base(KB) and a Query (Q), the question here is whether KB j= Q or not. Knowledge Compilation is one of the ...