Proving Entailment Between Conceptual State Specifications.

Eugene W. Stark

Published in: ESOP (1986)

Keyphrases

state space
np complete
data sets
data mining
machine learning
artificial intelligence
information systems
high level
multiscale
search algorithm
dynamic programming
mobile robot
finite state machines