Formalisation of Scientific Knowledge

AI systems have super-human ability in making flawless logical conclusions from available data and knowledge. To unleash this power, data and knowledge have to be modelled and encoded in a machine-pro