Login / Signup
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