Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Willem ConradieValentin GorankoDimiter VakarelovPublished in: CoRR (2006)
Keyphrases
- modal logic
- detection algorithm
- preprocessing
- computational cost
- optimal solution
- dynamic programming
- cost function
- matching algorithm
- temporal logic
- search space
- learning algorithm
- k means
- computational complexity
- objective function
- probabilistic model
- worst case
- expectation maximization
- optimization algorithm
- inference rules
- genetic algorithm
- np hard
- expert systems
- image segmentation