Title: Logic-based artificial intelligence
Subjects: Computer logic, Symbolic and mathematical Logic, Artificial intelligence, Logic, symbolic and mathematical