Stable theories without dense forking chains.

Bernhard Herwig James G. Loveys Anand Pillay Predrag Tanovic O. Wagner

Published in: Arch. Math. Log. (1992)

Keyphrases

data structure
real time
information systems
theoretical framework
dense optical flow
data mining
computer vision
hidden markov models
computational model
defeasible logic
causal reasoning
optical flow fields
intelligent design