Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.
Friedrich GretzJoost-Pieter KatoenAnnabelle McIverPublished in: QEST (2012)
Keyphrases
- logical language
- specification language
- operational semantics
- highly expressive
- probabilistic databases
- definition language
- logic programming language
- intended meaning
- denotational semantics
- programming language
- formal language
- model theoretic
- logic programming
- conditional logic
- probabilistic knowledge
- formal semantics
- speech acts
- dynamic logic
- language learning
- natural language
- bayesian networks
- conceptual graphs
- probabilistic model
- decision making
- probabilistic reasoning
- uncertain data
- proof theory
- stochastic context free grammars
- action language
- semantic information
- uml class diagrams
- high level specifications
- disjunctive logic programming
- object oriented
- database query languages
- semantically equivalent
- owl ontologies
- fixed point
- query answering
- formal specification
- aggregate functions
- cp nets
- probabilistic logic