Knowledge representation, reasoning and search techniques, nonmonotonic reasoning, truth maintenance systems, rule-based systems, model-based reasoning, case based reasoning, principles of artificial neural networks and evolutionary algorithms.