[[AIMA: Automated Planning]]N [[AIMA: First-Order Logic]]N [[AIMA: Inference in First-Order Logic]]N [[AIMA: Knowledge Representation]]N [[AIMA: Logical Agents]]N