A Term Rewriting Technique for Decision Graphs.
Bahareh BadbanPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- term rewriting
- theorem proving
- theorem prover
- operational semantics
- decision making
- rewrite systems
- knuth bendix
- decision rules
- decision makers
- decision problems
- graph mining
- graph matching
- graph theory
- graph theoretic
- weighted graph
- graph databases
- directed graph
- undirected graph
- databases
- black box
- database systems
- artificial intelligence