Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL.
Willem ConradieValentin GorankoPeter JipsenPublished in: RAMiCS (2021)
Keyphrases
- computational complexity
- times faster
- particle swarm optimization
- cost function
- theoretical analysis
- worst case
- learning algorithm
- preprocessing
- optimization algorithm
- hardware implementation
- expressive power
- high accuracy
- significant improvement
- simulated annealing
- dynamic programming
- expectation maximization
- np hard
- detection algorithm
- matching algorithm
- search space
- image matching
- inference rules
- optimal solution
- association rules
- convex hull
- convergence rate