Operator Algebras and the Operational Semantics of Probabilistic Languages.
Alessandra Di PierroHerbert WiklickyPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- operational semantics
- formal semantics
- model theoretic
- data model
- mental states
- bayesian networks
- expressive power
- denotational semantics
- probabilistic reasoning
- probabilistic model
- conditional probabilities
- agent programming
- speech acts
- databases
- programming language
- mobile robot
- cooperative
- artificial intelligence