Login / Signup
Finitely-Valued Propositional Dynamic Logic.
Igor Sedlár
Published in:
AiML (2020)
Keyphrases
</>
propositional dynamic logic
dynamic logic
reasoning about actions
finite number
database
machine learning
real world
inductive inference
multi valued
computer vision
feature selection
data structure
general purpose