Browsing by Author "Agarwal, Rishabh"

Now showing items 1-1 of 1

Algorithms For Computing Prime Implicates Using Distributivity And Labelled Resolution In Modal Logic

Agarwal, Rishabh (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 ...