Specification and inference of trace refinement relations.
Timos AntonopoulosEric KoskinenTon Chanh LePublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- high level
- bayesian inference
- semantic relations
- inference mechanism
- causal relations
- grammatical inference
- bayesian model
- knowledge representation languages
- databases
- refinement process
- temporal relations
- formal specification
- spatial relations
- background knowledge
- source code
- knowledge representation
- expert systems
- bayesian networks
- database systems