Browsing by Author "Raut, Manoj Kumar"
Now showing items 1-2 of 2
-
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 ... -
Knowledge compilation in multimodal logic
Kokane, Tushar V. (Dhirubhai Ambani Institute of Information and Communication Technology, 2016)Knowledge representation and knowledge retrieval are the integral parts of artificialintelligence. However, both the representation of knowledge using a logicalformalism and the retrieval of information from the knowledge ...