Specifying Imperative ML-Like Programs Using Dynamic Logic.

Séverine Maingaud Vincent Balat Richard Bubel Reiner Hähnle Alexandre Miquel

Published in: FoVeOOS (2010)

Keyphrases

dynamic logic
imperative programs
agent programming
maximum likelihood
modal logic
reasoning about actions
propositional dynamic logic
expert systems
classical first order logic
data sets
neural network
artificial intelligence
high level
modal operators