Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiAgotado4,4Notifícame