Towards Reasoning about Hoare Relations.

Stéphane Demri Ewa Orlowska Ingrid Rewitzky

Published in: Ann. Math. Artif. Intell. (1994)

Keyphrases

qualitative reasoning
qualitative spatial reasoning
neural network
semantic relations
spatial reasoning
real time
case study
image segmentation
artificial neural networks
evolutionary algorithm
co occurrence
binary relations
formal theory
totally ordered