On the Semantic Foundations of Probabilistic Synchronous Reactive Programs.
Christel BaierEdmund M. ClarkeVasiliki Hartonas-GarmhausenPublished in: Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
- artificial intelligence
- natural language
- probabilistic model
- high level
- semantic network
- semantic description
- semantic level
- computer programs
- semantic similarity
- semantic information
- generative model
- bayesian networks
- data sets
- context sensitive
- uncertain data
- latent semantic
- semantically rich
- data driven
- semantic search
- probabilistic logic programs
- reactive planning
- metadata
- probabilistic logic
- semantic web technologies
- agent architecture
- logic programming
- information theoretic