This course aims at providing the bases of logics and symbolic AI.
It includes courses on formal logics, symbolic reasoning and knowledge representation.
This course aims at providing the bases of logics and symbolic AI.
It includes courses on formal logics, symbolic reasoning and knowledge representation.
