C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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