SLAP: Specification logic of actions with probability.
Gavin RensThomas MeyerGerhard LakemeyerPublished in: J. Appl. Log. (2014)
Keyphrases
- asynchronous circuits
- probability theory
- reasoning about actions
- action language
- formal language
- linear temporal logic
- probability distribution
- state machine
- logic programming
- state transition
- quantum computation
- active rules
- transition systems
- action theories
- automated reasoning
- multi valued
- logical framework
- high level
- temporal ordering
- deontic logic
- specification language
- plan recognition
- situation calculus
- predicate logic
- genetic algorithm
- partially ordered
- formal specification
- conditional probabilities
- probabilistic model
- learning algorithm