Logic Foundation of Artificial Intelligence Constraint Reasoning Qualitative Reasoning Case-Based Reasoning Probabilistic Reasoning Inductive Learning Support Vector Machine Explanation-Based...