Knowledge representation : logical, philosophical, and computational foundationsJohn F SowaEsaurito4,3Avvisami
Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiEsaurito4,4Avvisami