Section 4.10.0 - Introductory Writeups
Section 4.10.0.1 - Basic Writeup - Wikipedia - Reasoning System
Section 4.10.0.2 - Detailed Writeup - Richter,Weber - Case-based reasoning: a textbook
Section 4.10.1 - Constraint Programming (Solvers)
Section 4.10.1.0 - Basic Writeup - Wikipedia - Constraint Programming
Section 4.10.1.1 - Constraint Logic Programming
Section 4.10.1.1.0 - Basic Writeup - Wikipedia - Constraint Logic Programming
Section 4.10.1.1.1 - Concurrent constraint logic programming
Section 4.10.2 - Theorem provers
Section 4.10.2.0 - Basic Writeup - Wikipedia - Automated Theorem Proving
Section 4.10.2.1 - First-order resolution with unification
Section 4.10.2.2 - Model elimination
Section 4.10.2.3 - Method of analytic tableaux
Section 4.10.2.4 - Superposition
Section 4.10.2.5 - Model checking
Section 4.10.2.6 - Mathematical induction
Section 4.10.2.7 - Binary decision diagrams
Section 4.10.2.8 - DPLL
Section 4.10.2.9 - Unification
Section 4.10.2.10 - Rewriting
Section 4.10.3 - Logic programming
Section 4.10.3.0 - Basic Writeup - Wikipedia - Logic Programming
Section 4.10.3.1 - Prolog
Section 4.10.3.2 - Abductive logic programming
Section 4.10.3.3 - Metalogic programming
Section 4.10.3.4 - Constraint logic programming
Section 4.10.3.5 - Concurrent logic programming
Section 4.10.3.6 - Concurrent constraint logic programming
Section 4.10.3.7 - Inductive logic programming
Section 4.10.3.8 - Higher-order logic programming
Section 4.10.3.9 - Linear logic programming
Section 4.10.3.10 - Object-oriented logic programming
Section 4.10.3.11 - Transaction logic programming
Section 4.10.3.12 - Fuzzy logic programming
Section 4.10.3.13 - Fuzzy logic programming
Section 4.10.3.14 - Functional logic programming
Section 4.10.4 - Rule engines
Section 4.10.4.1 - Business Rule engines
Section 4.10.4.2 - Rule Based Machine Learning
Section 4.10.4.2.0 - Basic Writeup - Wikipedia - Rule Based Machine Learning
Section 4.10.4.2.1 - Learning Classifier Systems
Section 4.10.4.2.2 - Association Rule Learning
Section 4.10.4.2.2.0 - Basic Writeup - Wikipedia - Association Rule Learning
Section 4.10.4.2.2.1 - Apriori Algorithm
Section 4.10.4.2.2.2 - Eclat Algorithm
Section 4.10.4.2.2.3 - Frequent Pattern(FP) Growth Algorithm
Section 4.10.4.2.2.4 - AprioriDP Algorithm
Section 4.10.4.2.2.5 - Context Based Association Rule Mining Algorithm
Section 4.10.4.2.2.6 - Node-set-based algorithms
Section 4.10.4.2.2.6.1 - Fast Mining Frequent Itemsets using Nodesets (FIN)
Section 4.10.4.2.2.6.2 - PrePost
Section 4.10.4.2.2.6.3 - PPV
Section 4.10.4.2.2.7 - GUHA procedure ASSOC
Section 4.10.4.2.2.8 - OPUS Search
Section 4.10.4.2.2.9 - Multi-Relation Association Rules
Section 4.10.4.2.2.10 - Context Based Association Rules
Section 4.10.4.2.2.11 - Contrast set learning
Section 4.10.4.2.2.12 - Weighted class learning
Section 4.10.4.2.2.13 - High-order pattern discovery
Section 4.10.4.2.2.14 - K-Optimal pattern discovery
Section 4.10.4.2.2.15 - Approximate Frequent Itemset
Section 4.10.4.2.2.16 - Generalized Association Rules
Section 4.10.4.2.2.17 - Quantitative Association Rules
Section 4.10.4.2.2.18 - Interval Data Association Rules
Section 4.10.4.2.2.19 - Sequential pattern mining
Section 4.10.4.2.2.20 - Subspace Clustering
Section 4.10.4.2.2.21 - Warmr
Section 4.10.4.2.3 - Artificial Immune Systems
Section 4.10.5 - Deductive classifiers
Section 4.10.6 - Machine Learning Systems
Section 4.10.7 - Procedural Reasoning Systems
Section 4.10.8 - Case Based Reasoning Systems
