Testing Semantics for Probabilistic LOTOS.
Manuel NúñezDavid de Frutos-EscrigPublished in: FORTE (1995)
Keyphrases
- formal semantics
- logic programming
- uncertain databases
- bayesian networks
- test cases
- probabilistic knowledge
- probabilistic model
- probabilistic logic
- real time
- posterior probability
- database
- context sensitive
- uncertain data
- software testing
- test set
- semantic representation
- generative model
- operational semantics
- model theoretic
- database systems