Probabilistic Trace and Testing Semantics: The Importance of Being Coherent.
Marco BernardoPublished in: Found. Trends Program. Lang. (2022)
Keyphrases
- formal semantics
- bayesian networks
- test set
- probabilistic model
- probabilistic knowledge
- logic programming
- probabilistic logic
- probabilistic reasoning
- uncertain data
- context sensitive
- posterior probability
- generative model
- databases
- conceptual model
- relative importance
- semantic information
- conceptual graphs
- specification language
- data driven
- operational semantics
- probability distribution
- probabilistic approaches
- argumentation semantics