Specification and Inference of Trace Refinement Relations.
Timos AntonopoulosEric KoskinenTon-Chanh LePublished in: CoRR (2019)
Keyphrases
- bayesian networks
- high level
- lexical semantics
- bayesian model
- formal specification
- probabilistic inference
- belief networks
- knowledge representation languages
- temporal relations
- spatial relations
- background knowledge
- pairwise
- neural network
- semantic relations
- hidden markov models
- inference process
- inference mechanism
- genetic algorithm