Now showing items 1-1 of 1

    • 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 ...