A Formal System for Reasoning about Change.

Carlos A. Pinto-Ferreira João P. Martins

Published in: ECAI (1990)

Keyphrases

formal model
databases
formal methods
formal analysis
formal theory
neural network
information retrieval
social networks
database systems
multiscale
medical images