Title: What is on the machine's mind?
Subjects: Artificial intelligence, Symbolic and mathematical Logic, Reasoning