Login / Signup
On Axiomatization of Deterministic Propositional Dynamic Logic.
Mars K. Valiev
Published in:
MFCS (1979)
Keyphrases
</>
propositional dynamic logic
reasoning about actions
situation calculus
dynamic logic
black box
genetic algorithm
image processing
data sets
databases
real world
artificial intelligence
reinforcement learning
expert systems
hidden markov models
general theory