Ground Confluence.

Published in: RTA (1987)

Keyphrases

definite clause
artificial intelligence
database
real time
bayesian networks
data structure
relational databases
viewpoint
hidden markov models