An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.
Sa'ed AbedOtmane Aït MohamedGhiath Al SammanePublished in: J. Comput. Sci. Technol. (2009)
Keyphrases
- decision making
- state space
- decision makers
- higher level
- decision rules
- machine learning
- decision problems
- directed graph
- graph structure
- graph theory
- graph matching
- series parallel
- formal methods
- theorem prover
- inductive logic programming
- higher order
- inductive learning
- rule induction
- graph theoretic
- transitive closure
- low level
- graph structures
- high level
- natural deduction