Introduction.- Logic and Inferencing.- First Order Predicate Logic.- Rule Based Reasoning.- Introduction to Prolog Language.- Knowledge Representation and Reasoning.- Networks Based Representation.- State Space Search.- Heuristic Search.- Constraint Satisfaction Problems.- Search and Game Playing.- Reasoning in Uncertain Environments.- Planning.- Natural Language Processing.- Machine Learning.- Machine Vision.- Bibliography.