Dynamic Interpretation and Hoare Deduction.

Jan van Eijck Fer-Jan de Vries

Published in: J. Log. Lang. Inf. (1992)

Keyphrases

dynamic environments
theorem proving
data sets
neural network
website
high level
preprocessing
image analysis
inference rules
data mining
knowledge base
artificial neural networks
image interpretation
dynamically changing
inference process