Implementing conditional term rewriting by graph rewriting.
Enno OhlebuschPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- term rewriting
- rewriting systems
- theorem prover
- theorem proving
- operational semantics
- knuth bendix
- rewriting rules
- random walk
- rewrite systems
- graph theory
- directed graph
- structured data
- graphical structure
- graph mining
- directed acyclic graph
- rewrite rules
- graph representation
- graph model
- machine learning
- bipartite graph
- conjunctive queries
- description logics
- probability distribution
- bayesian networks