Long Sequences of Descending Theories and other Miscellanea on Slow Consistency.

Michael Rathjen

Published in: FLAP (2017)

Keyphrases

long sequences
data streams
global constraints
mining sequential patterns
constraint networks
neural network
real world
case study
theoretical framework
domain theory
probability theory
consistency checking