The gentzenization and decidability of RW.

Published in: J. Philos. Log. (1990)

Keyphrases

random walk
description logics
query answering
markov chain
decision procedures
data mining
learning algorithm
artificial intelligence
database
data sets
databases
knowledge base
decision trees
query containment
type checking