Login / Signup
Logical and Mathematical Reasoning about Imperative Programs.
Daniel Leivant
Published in:
POPL (1985)
Keyphrases
</>
imperative programs
dynamic logic
probabilistic knowledge
modal operators
modal logic
logical structure
formal theory
plan execution
expert systems
general purpose
qualitative reasoning
mathematical theory
data sets
machine learning
contextual information