Browsing by Subject "Tison's method"
Now showing items 1-1 of 1
-
Knowledge compilation in multimodal logic
(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 ...