Reasoning About Infinite Computations

Moshe Y. Vardi Pierre Wolper

Published in: Inf. Comput. (1994)

Keyphrases

spatial reasoning
qualitative reasoning
databases
genetic algorithm
formal theory
data sets
learning algorithm
metadata
preprocessing
user interface
finite sets
practical reasoning