Login / Signup
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Willem Conradie
Valentin Goranko
Dimiter Vakarelov
Published in:
Log. Methods Comput. Sci. (2006)
Keyphrases
</>
modal logic
computational cost
k means
computational complexity
np hard
learning algorithm
worst case
particle swarm optimization
optimization algorithm
detection algorithm
objective function
search space
dynamic programming
inference rules
clustering method
preprocessing
reinforcement learning