Operational versus weakest pre-expectation semantics for the probabilistic guarded command language.
Friedrich GretzJoost-Pieter KatoenAnnabelle McIverPublished in: Perform. Evaluation (2014)
Keyphrases
- logical language
- model theoretic
- highly expressive
- intended meaning
- operational semantics
- specification language
- probabilistic databases
- formal language
- logic programming language
- programming language
- definition language
- probabilistic knowledge
- denotational semantics
- dynamic logic
- conceptual graphs
- conditional logic
- formal semantics
- language learning
- action language
- bayesian networks
- formal languages
- decision procedures
- natural language
- probabilistic reasoning
- proof theory
- speech acts
- decision making
- probabilistic model
- semantically equivalent
- modal operators
- uncertain data
- conceptual model
- uml class diagrams
- generative model
- logic programming
- deductive databases
- modal logic
- database query languages
- inference rules
- disjunctive logic programming
- predicate calculus
- argumentation frameworks
- fixed point semantics