Interpolation and FEP for logics of residuated algebras.
Wojciech BuszkowskiPublished in: Log. J. IGPL (2011)
Keyphrases
- evolutionary programming
- expressive power
- image interpolation
- modal logic
- spatial reasoning
- linear interpolation
- inference rules
- particle swarm optimization pso
- interpolation algorithm
- piecewise polynomial
- boolean algebra
- interpolation methods
- temporal reasoning
- neural network
- pso algorithm
- knowledge representation
- epistemic logic
- multi agent systems
- topological spaces
- data sets