Type Inference for Action Semantics.

Susan Even David A. Schmidt

Published in: ESOP (1990)

Keyphrases

probabilistic inference
action descriptions
bayesian networks
formal semantics
databases
data model
default reasoning
spatio temporal
hidden markov models
bayesian inference
inference engine
inference process
action language
argumentation semantics